If λ ∈ ℒ∖{0}, u ∈ ℒ̃, |u| is algebraic and e^{uλ} is algebraic, then u or uλ/λ̄ is rational (strong six exponentials and Baker)

Initializing...

If λ ∈ ℒ∖{0}, u ∈ ℒ̃, |u| is algebraic and e^{uλ} is algebraic, then u or uλ/λ̄ is rational (strong six exponentials and Baker) · Prove2Me