P
Initializing...
If w is transcendental over a subfield F of ℂ, every element of F that is algebraic over ℚ(w) is algebraic over ℚ · Prove2Me