P
Initializing...
The squared norm of a Hurwitz integer is a natural number · Prove2Me