theorem Th4: :: JORDAN15:4

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