theorem Th76: :: COMPLEX2:78

for a, b, c being Complex
for r being Real st a <> b & b <> c holds
angle (a,b,c) = angle ((Rotate (a,r)),(Rotate (b,r)),(Rotate (c,r)))