Označimo A=n19−n7. Faktorizacijom dobivamo
A=n7(n12−1)=n7(n6−1)(n6+1)=n7(n−1)(n+1)(n4+n2+1)(n2+1)(n4−n2+1)=(n−1)n(n+1)(n2+1)⋅B,B∈N.
Kako su n i n+1 uzastopni prirodni brojevi, jedan od njih je paran.
Jedan od tri uzastopna cijela broja, n−1, n, n+1 je djeljiv s 3.
Ako je n=5k, k∈N, n2 je djeljiv s 5.
Ako je n=5k±1, k∈N, n2−1 je djeljiv s 5.
Ako je n=5k±2, k∈N, n2+1 je djeljiv s 5.
Dakle, (n−1)n(n+1) je djeljiv i s 2 i s 3 i s 5 pa je onda i A djeljiv s 2⋅3⋅5=30.
Napomena 1. Djeljivost s 10 može se dokazati promatranjem zadnje znamenke.
Napomena 2. Djeljivost s 5 može se dokazati i pomoću Fermatovog teorema.