Le théorème suivant est une généralisation du petit théorème de Fermat
s'appliquant dans les cas où l'on connaît
.
Par exemple, si
, et
, alors
, on a bien
Si
et
, alors
, et on a
bien
Par exemple, si
et
, l'inverse de
dans
est
On le vérifie aisément en calculant
L'inverse modulo
(
et
premiers et distincts) de
(inversible dans
) est donc
.