The hyperbola step: if u is transcendental over F ⊆ ℂ with uū ∈ F, c₁, c₂ ∈ F, and c₁ + u, c₂ + ū are algebraically dependent, then c₁ and c₂ are algebraic

Initializing...

The hyperbola step: if u is transcendental over F ⊆ ℂ with uū ∈ F, c₁, c₂ ∈ F, and c₁ + u, c₂ + ū are algebraically dependent, then c₁ and c₂ are algebraic · Prove2Me