reserve i,j,k,n for Nat,
  C for being_simple_closed_curve Subset of TOP-REAL 2;

theorem Th1:
  ApproxIndex C >= 1
proof
  ApproxIndex C is_sufficiently_large_for C by Def1;
  hence thesis by JORDAN1H:51;
end;
