theorem
  A is bounded implies Cl A is bounded;
