P

Initializing...

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