theorem Th53: :: COMPLEX1:53

for z being Complex holds |.(z *').| = |.z.|