theorem Th33: :: TOPREALB:33
CircleMap " {c[10]} = INT