4.2.2 无失真定长编码定理