theorem Th62: :: COMPLEX2:64

for a, b being Complex st a <> 0 & b <> 0 & Arg a = Arg b holds
Arg (- a) = Arg (- b)