この手順では仮定と式 x=yx=yx=y、f(0)=0f(0)=0f(0)=0、f(2f(x)+f(z))=f(2x2+f(z))f(2f(x)+f(z))=f(2x^2+f(z))f(2f(x)+f(z))=f(2x2+f(z))、f(x)=x2f(x)=x^2f(x)=x2、xxx を用いて、示された結論を導く。