theorem :: JORDAN21:6

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