theorem Th39: :: BORSUK_7:49

for i being Integer
for c being Complex
for s being Real holds Rotate (c,s) = Rotate (c,(s + ((2 * PI) * i)))