P

Initializing...

Hermite–Lindemann and Gel'fond–Schneider for ℒ_u = ℒ + ℚu + ℚū (u transcendental over the field of ℒ̃, uū algebraic): 0 is its only algebraic element, and l, βl ∈ ℒ_u, l ≠ 0, β ∈ Q̄ force β ∈ ℚ · Prove2Me