theorem :: COMPLEX1:50

for z being Complex st Im z = 0 holds
|.z.| = |.(Re z).| by Lm28;