theorem Th10: :: QUATERN2:10

for r being quaternion number st r <> 0 holds
|.r.| > 0