theorem Th85: :: JORDAN2C:101

for q1, q2 being Point of (TOP-REAL 2) holds LSeg (q1,q2) is boundary