for z being Complex holds |[(Re (- z)),(Im (- z))]| = |[(- (Re z)),(- (Im z))]|