P
Initializing...
No real algebraic multiple of $1/(i\pi)$ is a logarithm of an algebraic number · Prove2Me