P

Initializing...

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