m,nは正の整数とする.f(n),g(n)を
f(n)=n^n*(n-1)^(n-1)*(n-2)*…*2^2*1^1
g(n)=(n!)^n
と定めるとき,
(mn)!f(m+n)g(m)g(n)/{f(n)f(m)g(m+n)}
は整数であることを示せ.