theorem Th35: :: JORDAN22:35

for C being Simple_closed_curve holds North_Arc C c= C