for C being Simple_closed_curve holds (LMP C) `2 < (UMP C) `2