theorem Th36:
  A is open & A is dense implies A is everywhere_dense
by TOPS_1:23;
