theorem :: JORDAN21:9

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