P
Initializing...
For u transcendental over the field of ℒ̃ with uū algebraic: if S ⊆ ℒ + ℚu + ℚū and ℚ[S] has transcendence degree ≤ 1, then S lies in ℒ, on a line ℚe, or in ℚu + ℚū · Prove2Me