零を含む代入から乗法性と偶性が得られる。
非定数解では代入から が得られ、別の可能性は定数解を与える。さらに と乗法性を得る。 ではなく、平方の式から ()および を導く。 fff f(−x)=f(x)f(-x)=f(x)f(−x)=f(x) f(0)=0f(0)=0f(0)=0 f(1)=1f(1)=1f(1)=1 f(x)≥0f(x)\ge0f(x)≥0 x≥0x\ge0x≥0