theorem :: COMPLEX1:52

for z being Complex holds |.(- z).| = |.z.| by Lm26;