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