theorem Th38: :: JORDAN21:38

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