一个组合恒等式的证明