theorem Th60: :: QUATERNI:67

for z being Quaternion holds 0 <= |.z.|