5.3.1 有噪信道编码定理