theorem Th68: :: COMPLEX2:70

for x, y, z being Complex holds
( 0 <= angle (x,y,z) & angle (x,y,z) < 2 * PI )