theorem Th4: :: DTCONSTR:4

for T being DecoratedTree holds roots <*T*> = <*(T . {})*>