Im(X)={0,1,2,･･･,n}のとき、
納x∈Im(X)] (m! / (m-x)!x!)*(n! / (n-z+x)!(z-x)!) ＝ (m+n)! / (m+n-z)!z!
（つまり、納x∈Im(X)] ( C[m,x]*C[n,z-x]) ＝ C[m+n,z] です。）
を示すにはどう計算すればいいのですか？