如何证明香农公式