无失真信源编码的相关定理