what is the greedy choice property of Huffman code ?