theorem Th56:
  S is boundary & S is closed implies S is nowhere_dense
by PRE_TOPC:22;
