P
Initializing...
The squared norm of a Cayley integer is integral · Prove2Me