theorem
  A is everywhere_dense implies A is not boundary
by PRE_TOPC:22;
