CircleMap (R^1 (1 / 2)) is being_homeomorphism