Iz f(f(x))=4x+9 i f(x)=ax+b, a>0 slijedi f(ax+b)=4x+9, odnosno a(ax+b)+b=4x+9 te
a2x+ab+b=4x+9.
Polinomi su jednaki ako su im koeficijenti uz iste potencije jednaki, pa je a2=4, ab+b=9. Budući da je a>0, slijedi a=2, b=3.
Tada je f(p−1)=2(p−1)+3=2p+1 pa prema binomnoj formuli redom slijedi:
(f(p−1))n=(2p+1)n=(2p)n+(1n)(2p)n−1+(2n)(2p)n−2+⋯+(n−2n)(2p)2+(n−1n)(2p)+(nn)=(2p)n+(1n)(2p)n−1+(2n)(2p)n−2+⋯+(n−2n)(2p)2+2np+1.
Tada je dani izraz jednak
(f(p−1))n−(2np+1)=(2p)n+(1n)(2p)n−1+(2n)(2p)n−2+⋯+(n−2n)(2p)2+2np+1−(2np+1)=p2(2npn−2+(1n)2n−1pn−3+⋯+(n−2n)22),
što je djeljivo s p2.