theorem Th70: :: COMPLEX2:72

for a, b, c, d being Complex holds angle (a,b,c) = angle ((a + d),(b + d),(c + d))