for z being Complex st Re z = 0 holds
|.z.| = |.(Im z).| by Lm28;