theorem Th6: :: JORDAN7:6

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