theorem Th27: :: JORDAN12:27

for p, p1, p2 being Point of (TOP-REAL 2) st p <> p1 & p <> p2 & p in LSeg (p1,p2) holds
not p1 in LSeg (p,p2)