theorem Th15: :: HUFFMAN1:15

Leaves (elementary_tree 0) = elementary_tree 0