この手順では仮定と式 a2+b+ca^2+b+ca2+b+c、a2a^2a2、(a+1)2(a+1)^2(a+1)2、b+c≥2a+1b+c\ge2a+1b+c≥2a+1 を用いて、示された結論を導く。