theorem :: COMPLEX2:66

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