theorem Th33: :: TREES_3:33

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