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