theorem :: QUATERNI:77

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