证明离散平稳信源有，试说明等式成立的条件。