theorem Th35:
  for X0 being SubSpace of X, A being Subset of X st A = the
  carrier of X0 holds X0 is nowhere_dense iff A is nowhere_dense;
