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