Izraz n4+7(7+2n2) možemo zapisati u sljedećem obliku:
n4+7(7+2n2)=n4+49+14n2=(n2+7)2.
Kako je n neparan broj, možemo pisati n=2k+1.
(n2+7)2=((2k+1)2+7)2=(4k2+4k+8)2.
Nakon izlučivanja broja 4 slijedi:
(4k2+4k+8)2=(4(k2+k+2))2=16(k2+k+2)2.
Dobiveni je izraz djeljiv sa 16. Pogledajmo izraz u zagradi:
k2+k+2=k(k+1)+2.
k(k+1) je umnožak dva uzastopna broja, pa je to sigurno paran broj. Kako je i 2 paran broj, to je i njihov zbroj paran. Dakle, izraz k2+k+2 je djeljiv s 2, a kvadrat tog izraza je djeljiv sa 4. Time je 16(k2+k+2)2 djeljivo sa 16⋅4=64, pa smo dokazali tvrdnju.