theorem Th14: :: JORDAN7:14

for P being non empty compact Subset of (TOP-REAL 2)
for q1, q2, q3 being Point of (TOP-REAL 2) st P is being_simple_closed_curve & LE q1,q2,P & LE q2,q3,P & q1 <> W-min P & q2 <> q3 holds
Segment (q1,q2,P) misses Segment (q3,(W-min P),P)