theorem Th15: :: TREES_9:15

for t being DecoratedTree holds [{},t] in FixedSubtrees t