For u transcendental over the field of ℒ̃ with uū algebraic: if S ⊆ ℒ + ℚu + ℚū and ℚ[S], of transcendence degree ≤ 1, contains c₁ + u and c₂ + ū with c₁, c₂ ∈ ℒ, then S ⊆ ℚu + ℚū

Initializing...

For u transcendental over the field of ℒ̃ with uū algebraic: if S ⊆ ℒ + ℚu + ℚū and ℚ[S], of transcendence degree ≤ 1, contains c₁ + u and c₂ + ū with c₁, c₂ ∈ ℒ, then S ⊆ ℚu + ℚū · Prove2Me