for C being Simple_closed_curve holds UMP C <> LMP C