for p being Point of (TOP-REAL 2) holds (south_halfline p) \ {p} is convex