theorem Th11: :: TREES_9:11

for t being DecoratedTree holds t in Subtrees t