原文:证明组合恒等式