Baker's theorem for ℒ_u = ℒ + ℚu + ℚū (u transcendental over the field of ℒ̃, uū algebraic): b₀ + Σ bᵢlᵢ ≠ 0 for ℚ-independent lᵢ ∈ ℒ_u and algebraic bᵢ, not all 0

Initializing...

Baker's theorem for ℒ_u = ℒ + ℚu + ℚū (u transcendental over the field of ℒ̃, uū algebraic): b₀ + Σ bᵢlᵢ ≠ 0 for ℚ-independent lᵢ ∈ ℒ_u and algebraic bᵢ, not all 0 · Prove2Me