Ce théorème prouve que

Le produit de deux restes est un reste;

Le produit de deux non-restes est un reste;

Le produit d^un reste par un non- reste est un non -reste.

En g<5nt'ral, (e produit de plusieurs facteurs est un reste ou un non-reste, suivant que le nombre des faeteurs du pradtaf gui sont des non-restes est pair ou impair.

g II, ^ Modules dont un nombre est reste quadratique. Loi d& réciprocité*