theorem :: COMPLEX2:67

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