theorem
  A is nowhere_dense implies A /\ B is nowhere_dense by Th26,XBOOLE_1:17;
