P

Initializing...

If t² + π² is rational for a real t ≠ 0 with e^t algebraic, then e^{iγ/π} is transcendental for every rational γ ≠ 0 · Prove2Me