for C being Simple_closed_curve holds (LMP C) `2 < N-bound C