P
Initializing...
Non-transcendentals over C are constants · Prove2Me