theorem Th61: :: COMPLEX2:63

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