theorem Th14: :: JORDAN21:14

for C being Simple_closed_curve holds Lower_Middle_Point C in C