theorem Th13: :: JCT_MISC:13

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