theorem Th105: :: JORDAN2C:121

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