4.3.4 编码定理