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