theorem
  R is nowhere_dense implies R is boundary
by Th54;
