信道编码定理是一个理想编码的存在性定理，即：信道无失真传递信息的条件是（）。