theorem Th28: :: TREES_3:28

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