theorem Th104: :: JORDAN2C:120

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