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