P
Initializing...
A power identity at exponents zero and one · Prove2Me