theorem Th14: :: TREES_3:14

for x being object holds
( {x} is constituted-DTrees iff x is DecoratedTree )