theorem :: COMPLEX1:54

for z being Complex holds Re z <= |.z.|