theorem Th30: :: JORDAN3:30

for p, q, p1, p2 being Point of (TOP-REAL 2) st LE p,q,p1,p2 holds
( q in LSeg (p,p2) & p in LSeg (p1,q) )