theorem Th39: :: JORDAN21:39

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