theorem Th30: :: TREES_3:30

for x being object holds
( <*x*> is DTree-yielding iff x is DecoratedTree )