theorem Th107: :: JORDAN2C:123

for p being Point of (TOP-REAL 2) holds not south_halfline p is bounded