for C being Simple_closed_curve holds E-max C in North_Arc C