なるほど。ということは、

Σ[k=0,m] C[m,k]*C[n,k]*(x+1)^k = Σ[k=0,m] C[n+m-k,m-k]*C[n,k]*x^k

が成立しそうですが、証明はどうやるんだろう．．．。