P
Initializing...
Conjugate times an octonion equals its squared norm · Prove2Me