theorem
  P is dense & Q is dense & Q is open implies P /\ Q is dense
by Th46;
