theorem Th63: :: COMPLEX2:65

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