theorem Th61: :: JORDAN6:61

for S being non empty being_simple_closed_curve Subset of (TOP-REAL 2) holds
( Lower_Arc S c= S & Upper_Arc S c= S )