theorem Th40: :: JORDAN21:40

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