theorem :: BORSUK_7:50

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