theorem Th34: :: TEX_3:34

for X being non empty TopSpace
for X1, X2 being SubSpace of X st X1 is boundary & X2 is SubSpace of X1 holds
X2 is boundary by TSEP_1:4, Th33;