for P being Simple_closed_curve holds W-min P <> E-min P