P
Initializing...
If a non-real logarithm λ and its conjugate are algebraic over one ring ℚ[x], e^{|λ|} is transcendental · Prove2Me