「問題の関数方程式に を代入する作業」とする を示す 要は、 が について単射であることが言えればよい を仮定する より より したがって、 ならば について を示す 仮に (定数関数)とすると、 などとして矛盾するので なる が存在する なる 、および なる について… より ここで は任意にとれるので、 および、 より小さい範囲で十分大きな について ここで より、 仮に であるならば、 を十分大きくとれば となっているはずであり、矛盾 したがって、 なる について が言え、そうでなければ であるから、 について が示せた なる任意の について、 を示す を仮定し、 とおく() より より…