O anche, posto n-1 ---> n, basta dimostrare che:
$ ~ n^2 \mid (n+1)^n - 1 $
che è vera perchè sviluppiamo il binomiale, basta che consideriamo gli ultimi 2 termini, ma uno è divisibile per n^2 perchè $ ~{ n \choose 1} = n $, l'altro si annulla con -1.