theorem :: QUATERNI:78

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