theorem Th2: :: JORDAN7:2

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