theorem Th14: :: COMPLEX2:16

for z being Complex st z <> 0 holds
( Arg z < PI iff Arg (- z) >= PI )