Je crois qu'on peut se passer du p'tit théorème de Fermat:
Tout élément de Z s'écrit sous une forme suivante:
7k, 7k+1, 7k+2,7k +3, 7k-1,7k-2, 7k -3 c'est à dire congru à 0,1,2,3,-1,-2,-3 modulo 7
on s'en sort grâce à la factorisation de cqfd67 (un compatriote du Bas-Rhin? Salut Bisame!)
si a = 7k, a est congru à 0 donc n aussi
si a= 7k+1 (a-1) est congru à 0 donc n aussi
si a= 7k-1 (a+1) congru à 0 donc n aussi
si a= 7k+2 a est congru à 2 donc (a4+a2+1) est congru à (24+22+1) c'est à dire à 21 c'est à dire à 0
Faire le même calcul pour -2,3,-3
Donc n est toujours congru à 0 modulo 7, c'est à dire divisible par 7.
C'est plus long, mais demande moins de culture mathématique.