theorem Th9: :: MSAFREE4:9

for X being non empty constituted-DTrees set holds X c= Subtrees X