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