theorem Th3: :: JORDAN7:3

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 holds
LE W-min P,q,P