theorem :: COMPLEX1:55

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