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