le 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énéral, le produit de plusieurs facteurs est un reste ou un non-reste, suivant nue le nombre des facteurs du produit qui sont des non-restes est pair ou impair.

§ II. Modules dont un nombre est reste quadratique. Loi de réciprocité.