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