theorem Th3: :: JORDAN1C:3

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