对同一集合的两种如实计数必须得到同一个数——这就是整个证明。
第1步与第3步以两种不同方式统计了完全相同的一组对 (f,i)(f,i)(f,i),因此两个表达式必然相等:∑k=0nk⋅pn(k)=n⋅(n−1)!=n!\sum_{k=0}^{n} k\cdot p_n(k) = n\cdot(n-1)! = n!∑k=0nk⋅pn(k)=n⋅(n−1)!=n!,这正是所要证明的。