theorem Th41: :: JORDAN21:41

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