theorem :: JORDAN7:8

for P being non empty compact Subset of (TOP-REAL 2)
for q being Point of (TOP-REAL 2) st P is being_simple_closed_curve & q in P & q <> W-min P holds
Segment (q,q,P) = {q}