theorem Th34: :: COMPTRIG:34

for z being Complex holds
( 0 <= Arg z & Arg z < 2 * PI )