任意の正整数 m に対して f(m)+n と m が互いに素な n が取れ,これを代入することで m∣f(m) がわかる.
f(1)=c とし,m=1,n=c を代入すれば
f(f(c)+1)=2cがわかる.f(f(c)+1)=f(c)+1 と仮定すると m∣f(m) より
2c=f(f(c)+1)≥2(f(c)+1)≥2(c+1)が従い矛盾する.よって f(f(c)+1)=f(c)+1 であり,f(c)=2c−1 を得る.これと c∣f(c) より c=1 である.
与式に m=1 を代入すれば
f(f(n)+1)=n+1これと m∣f(m) より f(n)=n が必要である.
f(n)=n は与式を満たすのでこれが求める解である.