minimal polynomial sqrt(-3)+sqrt(-7)