for C being Simple_closed_curve holds W-min C in South_Arc C