P

Initializing...

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