theorem Th49: :: QUATERN2:49

for c being quaternion number holds c .|. c = |.c.| ^2