Neka je A=x2−x i B=x4−x.
Uočimo najprije da je A=0 samo za x=0 i x=1, a to su cijeli brojevi. Stoga možemo uzeti da je A=0.
Vrijedi A2=x4−2x3+x2 pa je
B−A2=2x3−x2−x=2x3−2x2+x2−x=2x3−2x2+A=2x(x2−x)+A=2x⋅A+A.
tj. B−A2−A=2xA. Dakle,
x=2AB−2A+1,
pa je x racionalan broj.
Zapišimo x u obliku neskrativog razlomka, x=qp. Tada je
A=q2p2−qp=q2p(p−q)
što ne može biti cijeli broj ako je q>1, jer su p i q relativno prosti. Stoga mora biti q=1 pa je x cijeli broj što smo i htjeli pokazati.
Napomena: Do zaključka da je x racionalan broj možemo doći na razne načine. Npr.
2x=(x2+x)−(x2−x)=AB−A−A.