この手順では仮定と式 n−1n-1n−1、(n2)−(n−1)=(n−12)\binom n2-(n-1)=\binom{n-1}{2}(2n)−(n−1)=(2n−1) を用いて、示された結論を導く。