theorem Th77: :: COMPLEX2:79

for a, b being Complex holds angle (a,b,a) = 0