theorem :: COMPLEX3:7

for a being Complex holds a = |.a.| * (director a)