P
Initializing...
The octonion squared norm is multiplicative · Prove2Me