theorem :: COMPLEX2:68

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