theorem Th5: :: JORDAN2C:11

for n being Nat
for A being Subset of (TOP-REAL n) holds
( A is bounded iff A is bounded Subset of (Euclid n) )