P
Initializing...
At most one pair ±t of real logarithms of algebraic numbers makes t² + π² rational · Prove2Me