theorem Th14: :: JCT_MISC:14

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