theorem Th34:
  for X1,X2 being SubSpace of X st X1 is boundary holds X2 is
  SubSpace of X1 implies X2 is boundary
by TSEP_1:4,Th33;
