Proved Huffman codes.