theorem :: QUATERNI:75

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