theorem
  A is everywhere_dense implies A \/ B is everywhere_dense by Th38,XBOOLE_1:7;
