香农公式证明