k=f(0)k=f(0)k=f(0) とおく。y=0y=0y=0 を代入すると f(f(x)f(0))+f(x)=f(0)f(f(x)f(0))+f(x)=f(0)f(f(x)f(0))+f(x)=f(0)、すなわちすべての xxx について f(kf(x))+f(x)=kf(kf(x))+f(x)=kf(kf(x))+f(x)=k を得る——これを式 (∗)(\ast)(∗) と呼ぶ。k=0k=0k=0 なら式 (∗)(\ast)(∗) は f(0)+f(x)=0f(0)+f(x)=0f(0)+f(x)=0 となり、すべての xxx で f(x)=−f(0)=0f(x)=-f(0)=0f(x)=−f(0)=0、これが解 f≡0f\equiv 0f≡0 である。以後 k≠0k\ne 0k=0(ステップ1の符号対称性より k>0k>0k>0)と仮定する。