for z being Complex holds
( Arg z = 0 iff z = |.z.| )