reserve p,p1,p2,p3,q,q1,q2 for Point of TOP-REAL 2,
  i for Nat,
  lambda for Real;

theorem Th22:
  for P being Subset of TOP-REAL 2 st
  P is being_simple_closed_curve holds P is compact;
