4.1 无失真可变长信源编码定理