P
Initializing...
The octonion norm is multiplicative (eight-square identity) · Prove2Me