a • ~-{~i)V-i,^, , , "^ — {mod p)y

OU en divisant les deux membres par 1,2,...,— — >

a » ^ r-i)|x, ce qui démontre le théorème.

187. Ces deux lemmes vont nous permettre, san§ plus, d'étudier le cas de a = 2.

Mais auparavant, comme exercice, retrouvons, en suivant cette voie, les résultats relatifs k a -^ i eta = — i.

Pour a = I, les termes de la suite (i) deviennent

qui sont eux à eux-mêmes leurs restes minima, et qui sont d'ailleurs tous positifs. Donc }x = o. Donc