(1) は >>761 のとおり

C(m+n-1,m) = C(m+n-1,n-1)
= Π[j=1,m] Π[k=1,n-1] (j+k)/(j+k-1)
= Π[(j,k)∈B1] (j+k)/(j+k-1)
ここに、B1 = {(j,k) | 1≦j≦m,1≦k≦n-1} は m×(n-1) の長方形ブロック

そだね〜