theorem Th50: :: JORDAN2C:65

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