本步骤利用假设和公式 P1,…,PmP_1,\ldots,P_mP1,…,Pm、x=k∈{1,…,n}x=k\in\{1,\ldots,n\}x=k∈{1,…,n}、n−1n-1n−1、m≤n(n−1)m\le n(n-1)m≤n(n−1),推出所述结论。