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
.