7.20 무잡음 부호화 정리(Noiseless Coding Theorem)의 정식화