theorem :: TREES_9:26

for t being DecoratedTree
for C being set holds C -Subtrees {t} = C -Subtrees t