theorem Th4: :: JORDAN18:4

for a being Point of (TOP-REAL 2) holds proj2 .: (south_halfline a) is bounded_above