整除条件に a=b=1a=b=1a=b=1 を代入すると f(1)+1∣1+f(1)2f(1)+1\mid1+f(1)^2f(1)+1∣1+f(1)2 を得る。f(1)2+1=(f(1)−1)(f(1)+1)+2f(1)^2+1=(f(1)-1)(f(1)+1)+2f(1)2+1=(f(1)−1)(f(1)+1)+2 なので、これは f(1)+1∣2f(1)+1\mid2f(1)+1∣2 に帰着し、f(1)f(1)f(1) が正整数であることから f(1)+1=2f(1)+1=2f(1)+1=2、よって f(1)=1f(1)=1f(1)=1 である。