theorem Th24: :: COMPLEX2:26

for a being Complex st a <> 0 holds
( cos (Arg a) = (Re a) / |.a.| & sin (Arg a) = (Im a) / |.a.| )