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