theorem Th1: :: TREES_9:1

for t being DecoratedTree holds t | (<*> NAT) = t