theorem Th14: :: SIMPLEX2:14

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