Kako je najveći zajednički djelitelj brojeva a i 35 jednak 1, to je najveći zajednički djelitelj brojeva a i 5, kao i a i 7 jednak 1.
Svaki cijeli broj a relativno prost s 5 može se zapisati u jednom od oblika: 5k±1 ili 5k±2, a onaj relativno prost sa 7 može se zapisati u obliku: 7k±1, 7k±2 ili 7k±3. S druge strane, dani broj se može zapisati ovako:
(a4−1)((a4+a2+1)+14a2)=(a2−1)(a2+1)(a4+a2+1)+14a2(a4−1)=(a6−1)(a2+1)+14a2(a4−1).
Sada se lako provjeri da je svaki od ova dva sumanda djeljiv i s 5 i sa 7, tj. da je djeljiv s 35:
a=5k±1a=5k±2⇒a2=5M+1⇒5∣a2−1⇒a2=5M+4⇒5∣a2+1,
odakle slijedi da 5∣a4−1. Zato je drugi sumand djeljiv s 35.
Nadalje, prvi sumand je djeljiv s 5, pa treba još pokazati da je djeljiv i sa 7.
a=7k±1a=7k±2a=7k±3⇒a2=7M+1⇒7∣a2−1⇒a2=7M+4⇒a4=7N+2⇒a6=7W+1⇒a2=7M+2⇒a4=7N+4⇒a6=7W+1,
odakle slijedi 7∣a6−1.
Napomena. U dokazu se može koristiti i mali Fermatov teorem.