>>583
m=1の時を示して、それを使ってmに関する数学的帰納法

m=1の場合は以下の式から成り立つ
Π[k=0,n-1] C[k+l+1,l] = C[n+l,l] Π[k=0,n-1] C[k+l,l]