for C being Simple_closed_curve
for q being Point of (TOP-REAL 2) st q in C holds
Segment (q,(W-min C),C) is compact