theorem Th90: :: JORDAN2C:106

for n being Nat
for A being Subset of (TOP-REAL n) st A is bounded holds
BDD A is bounded