一个组合恒等式的证明 Σ(k=0,n)C(n1,k)C(n2,n-k)=C(n1+n2,n)