for P being Simple_closed_curve holds LE W-min P, E-max P,P