4.2 保真度准则下的信源编码定理