theorem Th26: :: COMPLEX2:28

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