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