i) + I ^^o (mod

ce qu'il fallait démontrer.

Ce théorème est surtout remarquable en ce qu'il exprime une propriété qui appartient exclusivement aux nombres premiers ; car, si p est un nombre composé, et que 0 soit un de ses diviseurs, 9 divisera le produit 1.2.3... (p — x)> et, par conséquent, il ne pourra diviser ce même produit augmenté de l'unité. Il en sera donc de même du nombre p.

Corollaire. — Tout nombre premier p de Informe 4/1 -}- I est la somme de deux carrés,

s. — j^iff. sup., i\. â

w4 coms i^^Aixiinz Frrtximr.

Eli t-fif t. par le iLéorèmt précédenU j* drrise la

2» — I, 2JI — 2.. .... ^a

b'jDt respectivement congrus ii

fruiviintle module />: donc leprc*dait des uns est conçra «u produit des autres. D'ailleurs le nombre des facteurs étaint pair, on peut changer leurs signes, et Ton a