theorem
  [#]X is dense;
