この手順では仮定と式 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) を用いて、示された結論を導く。