theorem Th25: :: COMPLEX2:27

for a being Complex
for r being Real st r > 0 holds
Arg (a * r) = Arg a