theorem Th71: :: COMPLEX2:73

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