theorem Th32: :: TOPREALB:32

for i being Integer holds CircleMap . i = c[10]