theorem Th52: :: COMPLEX2:54

for r being Real
for a being Complex st a <> 0 holds
ex i being Integer st Arg (Rotate (a,r)) = ((2 * PI) * i) + (r + (Arg a))