解释无失真变长信源编码定理。