for P being non empty compact Subset of (TOP-REAL 2) st P is being_simple_closed_curve holds
W-min P <> E-max P