theorem Th36: :: JORDAN21:36

for C being Simple_closed_curve holds (LMP C) `2 < (UMP C) `2