P
Initializing...
The rational octonion identity has squared norm one · Prove2Me