11.2.2 变长码编码定理