theorem Th106: :: JORDAN2C:122

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