P
Initializing...
The principal root of one has unit norm · Prove2Me