reserve n for Nat;

theorem Th4:
  for S be compact Subset of TOP-REAL 2 holds proj1.:S is compact
proof
  let S being compact Subset of TOP-REAL 2;
  proj1.:S is closed by Th3;
  hence thesis by JORDAN1C:3,RCOMP_1:11;
end;
