for S being compact Subset of (TOP-REAL 2) holds proj2 .: S is compact