for C being Simple_closed_curve holds UMP C in North_Arc C