证明，当 mmm 是自然数时，有
∑k=0m(−1)m−k(mk)(knm)=nm\sum\limits_{k=0}^m(-1)^{m-k}\binom mk\binom {kn}m=n^mk=0∑m(−1)m−k(km)(mkn)=nm
