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