theorem :: QUATERNI:76

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