8.7 크래프트 부등식(Kraft Inequality)의 정식화와 증명