Leaves (elementary_tree 0) = {{}} by TREES_1:29, HUFFMAN1:15;