theorem :: JORDAN21:8

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