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