5.3.2 有噪信道编码逆定理