Ainsi, si $(x,y)$ est un couple d'entiers relatifs solution de l'équation $(E)$, alors l'entier $108$ divise l'entier
$108(y-y_0)=25(x-x_0)$ et puisque $108$ et $25$ sont des entiers premiers entre eux, le théorème de \textsc{Gauss} permet
d'affirmer que $108$ divise $x-x_0$. Par suite, il existe un entier relatif $k$ tel que $x-x_0=108k$ ou encore $x=x_0+108k$.
De même, l'entier $25$ divise $y-y_0$ et donc il existe un entier relatif $k'$ tel que $y-y_0=25k'$ ou encore $y=y_0+25k'$.
Réciproquement, soient $k$ et $k'$ deux entiers relatifs puis $x=x_0+108k$ et $y=y_0+25k'$.
\begin{align*} 25x-108y=1&\Leftrightarrow 25(x_0+108k)-108(y_0+25k')=1\Leftrightarrow 25x_0-108y_0+25\times108\times(k-k')=1\\ &\Leftrightarrow 25\times108\times(k-k')=0\Leftrightarrow k=k'. \end{align*}Finalement,
les couples d'entiers relatifs solutions de l'équation $(E)$ sont les couples de la forme $(13+108k,3+25k)$, $k\in\mathbb{Z}$.
On a montré que pour tout entier $x$ tel que $1\leqslant x\leqslant 6$, $x^6\equiv1\;[7]$.
D'après la question précédente, on a $x^6\equiv1\;[7]$ et on en déduit que $a^6\equiv 1\;[7]$.
On en déduit que $\left(a^6\right)^{18}\equiv1^{18}\;[7]$ ou encore $a^{108}\equiv1\;[7]$.
Ensuite, $\left(a^{25}\right)^g=a^{25g}=a^{1+108c}=a\times\left(a^{108}\right)^c$. Mais alors $\left(a^{25}\right)^g\equiv a\times1^c\;[7]$ ou encore $\left(a^{25}\right)^g\equiv a\;[7]$.
En résumé, si $a\equiv 0\;[7]$ et $\left(a^{25}\right)^g\equiv0\;[7]$. En particulier, $\left(a^{25}\right)^g\equiv a\;[7]$.
pour tout entier naturel $a$, $\left(a^{25}\right)^g\equiv a\;[133]$.
En résumé, $r_1\equiv\left(a^{25}\right)^{13}\;[133]$ et $\left(a^{25}\right)^{13}\equiv a\;[133]$. On en déduit que
$r_1\equiv a\;[133]$.
$128^{13}=128^{12}\times128$ et donc $128^{13}\equiv-27\times-5\;[133]$ ou encore $128^{13}\equiv135\;[133]$ ou enfin
$$128^{13}\equiv2\;[133],$$(avec $0\leqslant 2< 133$).
Le message qui a été codé est le message : $2$\quad $3$.