theorem Th13: :: JORDAN7:13

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