P
Initializing...
Powers of a norm-one element stay norm-one · Prove2Me