theorem Th37: :: TREES_3:37

for f being DTree-yielding Function holds
( dom (doms f) = dom f & doms f is Tree-yielding )