theorem Th60: :: QUATERNI:67

for z being quaternion number holds 0 <= |.z.|