theorem Th33: :: TOPREALB:33

CircleMap " {c[10]} = INT