发现一个等式，但是不会证（还是我推挂了？）：
∑k=mn+m−1Ckm−1=Cn+mm\sum ^{n+m-1}_{k=m} C^{m-1}_{k}=C^{m}_{n+m}∑k=mn+m−1Ckm−1=Cn+mm
