theorem Th2: :: JORDAN1H:2

for p, q being Point of (TOP-REAL 2) st p <> q holds
Cl ((LSeg (p,q)) \ {p,q}) = LSeg (p,q)