theorem Th1: :: JORDAN11:1

for C being being_simple_closed_curve Subset of (TOP-REAL 2) holds ApproxIndex C >= 1