for z being Complex holds |.(z ").| = |.z.| "