theorem Th78: :: COMPLEX2:80

for a, b, c being Complex holds
( angle (a,b,c) <> 0 iff (angle (a,b,c)) + (angle (c,b,a)) = 2 * PI )