minimal polynomial sqrt(3)+sqrt(5)