theorem
  {}X is nowhere_dense;
