theorem Th36: :: JORDAN22:36

for C being Simple_closed_curve holds South_Arc C c= C