theorem
  A is nowhere_dense implies Cl A is nowhere_dense;
