theorem Th37: :: JORDAN21:37

for C being Simple_closed_curve holds UMP C <> LMP C