P
Initializing...
An octonion times its conjugate equals its squared norm · Prove2Me