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