theorem :: TREES_9:22

for t being DecoratedTree holds Subtrees {t} = Subtrees t