Soit $A$ l'ensemble des entiers naturels de l'intervalle $[1,46]$.
Pour la suite, on admet que pour tout entier $p$ de $A$, il existe unique entier, noté $\text{inv}(p)$, appartenant à $A$ tel que $p\times\text{inv}(p)\equiv1\;(47)$.
Par exemple, $\text{inv}(1)=1$ car $1\times 1\equiv1\;(47)$, $\text{inv}(2)=24$ car $2\times24\equiv1\;(47)$, $\text{inv}(3)=16$ car $3\times16\equiv1\;(47)$ \ldots