0 |-> T = {} ;
hence n |-> T is DTree-yielding by Th38; :: thesis: verum