Pour le cas n=24, l'égalité est évidente(24=5*2+7*2)
On suppose que l'égalité est correcte pour n et on essaie de la démontrer pour le cas n+1
Tout d'abord, 5 et 7 sont premiers entre eux. Donc, et d'après l'identité de Bezout : -5(p-k)-7(q-t)=1 admet des solutions dans Z. [(t;k)£Z]
=> Il existe des relatifs tel que 5p+7q+1=5k+7t
=> n+1=5k+7t
CQFD