theorem Th43: :: TOPREALB:43
(CircleMap (R^1 (1 / 2))) " = Circle2IntervalL