在函数方程中代入 x=y=x2x=y=\tfrac x2x=y=2x,z=yz=yz=y,得到 (y+1)f(x)(y+1)f(x)(y+1)f(x) 等于同一项 f(x2f(y)+x2)f(\tfrac x2f(y)+\tfrac x2)f(2xf(y)+2x) 的两倍。这两个自变量之和等于 xf(y)+xxf(y)+xxf(y)+x,也等于把 xf(y)+xxf(y)+xxf(y)+x 拆成 xf(y)xf(y)xf(y) 与 xxx 两项之和;由等和可加性(第3步),该项的两倍等于 f(xf(y))+f(x)f(xf(y))+f(x)f(xf(y))+f(x)。因此 (y+1)f(x)=f(xf(y))+f(x)(y+1)f(x)=f(xf(y))+f(x)(y+1)f(x)=f(xf(y))+f(x),从而对所有 x,y>0x,y>0x,y>0 有 yf(x)=f(xf(y))yf(x)=f(xf(y))yf(x)=f(xf(y))。