theorem Th31: :: TOPREALB:31

for i being Integer
for r being Real holds CircleMap . r = CircleMap . (r + i)