この手順では仮定と式 z=0z=0z=0、yyy、−y-y−y、f(2xy+f(0))=f(−2xy+f(0))f(2xy+f(0))=f(-2xy+f(0))f(2xy+f(0))=f(−2xy+f(0))、f(0)=0f(0)=0f(0)=0 を用いて、示された結論を導く。