4.2.3 无失真变长编码定理