P
Initializing...
If log 2 is algebraic over ℚ(π), then exp √((log 2)² + π²) is transcendental · Prove2Me