P

Initializing...

Baker over a number-field basis for ℒ_u = ℒ + ℚu + ℚū (u transcendental over the field of ℒ̃, uū algebraic): if Σ βₖℓₖ is algebraic with ℓₖ ∈ ℒ_u, every ℓₖ is 0 · Prove2Me