theorem :: QUATERNI:75

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