哈夫曼算法的正确性证明