theorem Th28: :: TREES_1:29

elementary_tree 0 = {{}}