theorem Th41: :: JORDAN4:41

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