この手順では仮定と式 n≥5n\ge5n≥5、n−4n-4n−4、(n−4)×(n−4)(n-4)\times(n-4)(n−4)×(n−4)、(n,2),(n−1,n−2),(2,3),(1,n−1)(n,2),(n-1,n-2),(2,3),(1,n-1)(n,2),(n−1,n−2),(2,3),(1,n−1) を用いて、示された結論を導く。