theorem Th10: :: QUATERN2:10

for r being Quaternion st r <> 0 holds
|.r.| > 0