Ako misliš na slučaj sa

, on može da se dokaže primenom matematičke indukcije. Možda može i na jednostavniji način, ali ovo je jedino što mi za sada pada na pamet.
1) prvo se dokaže da je iskaz zadovoljen za

:
2) zatim se dokazuje da, ako je iskaz tačan za neko

, biće tačan i za

:
Pošto je izraz u prvoj zagradi po pretpostavci deljiv sa

, treba dokazati da je izraz u drugoj zagradi,

takođe deljiv sa

. Pošto je

, to dokazivanje se svodi na dokazivanje da je

.

je deljivo sa

za svako

, samim tim će i

biti deljivo sa

za svako

.

je, prema tome, deljivo sa

za svako

.