theorem :: QUATERN2:52

for c being quaternion number st c .|. c = 0 holds
c = 0