P
Initializing...
The six exponentials theorem for ℒ_u = ℒ + ℚu + ℚū (u transcendental over the field of ℒ̃, uū algebraic): no ℚ-independent x₁, x₂ and y₁, y₂, y₃ have all xᵢyⱼ in ℒ_u · Prove2Me