theorem Th49: :: QUATERN2:49

for c being Quaternion holds c .|. c = |.c.| ^2