7.7 엔트로피 함수의 공리적 특성과 유일성 정리