theorem
  A is everywhere_dense iff Int A is dense;
