Tu peux dire que c'est le théorème de Verdurin, ou le théorème de Etuupmc.
Plus sérieusement, si tu veux comprendre pourquoi c'est comme ça, tu peux chercher la même question ou presque... dans l'écriture de 2017! en base 7, combien-y-a-il de 0 finaux ?
Je prends la base 7 pour changer, et pour prendre un nombre premier (10 n'est pas premier).
Si tu trouves le raisonnement valable en base 7, tu pourras passer à la base 10.
Sinon, tu prends la formule donnée dans le corrigé. Décompose cette formule. C'est une somme ; exprime avec des mots simples ce que représente chaque terme de cette suite.