For a candidate u and a logarithm μ outside ℚu ∪ ℚū, the numbers u, μ and e^{uū/μ} generate transcendence degree at least two

Initializing...

For a candidate u and a logarithm μ outside ℚu ∪ ℚū, the numbers u, μ and e^{uū/μ} generate transcendence degree at least two · Prove2Me