この手順では仮定と式 x=1,y=f(1)x=1,y=f(1)x=1,y=f(1)、f(1)2=f(1)f(1)^2=f(1)f(1)2=f(1)、f(1)=1f(1)=1f(1)=1、y=1y=1y=1、f(x)=xf(x)=xf(x)=x、f(1)=0f(1)=0f(1)=0 を用いて、示された結論を導く。