P
Initializing...
The case where the exponential is 1 · Prove2Me