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