P
Initializing...
If a non-real logarithm λ and its conjugate are algebraically dependent, e^{|λ|} is transcendental · Prove2Me