8.13 허프만 부호의 최적성 증명