Puisque $a\equiv b\;(\text{mod}\;n)$ et $c\equiv d\;(\text{mod}\;n)$, il existe deux entiers relatifs $k$ et $k'$ tels que $b=a+kn$ et $d=c+k'n$.
Mais alors,
Posons $K=ak'+ck+kk'n$. $K$ est un entier relatif tel que $bd=ac+Kn$ et on a donc montré que $ac\equiv bd\;(\text{mod}\;n)$.
Si $(x,y)$ est solution de $(E)$, alors l'entier $26$ divise l'entier $26(y-y_0)=23(x-x_0)$. D'autre part, la question précédente montre qu'il existe deux entiers relatifs $u$ et $v$ tels que $23u+26v=1$. Le théorème de \textsc{Bézout} permet alors d'affirmer que les entiers $23$ et $26$ sont premiers entre eux.
Ainsi, $26$ divise $23(x-x_0)$ et $26$ est premier à $23$. D'après le théorème de \textsc{Gauss}, $26$ divise $x-x_0$. Par suite, il existe un entier relatif $k$ tel que $x-x_0=26k$ ou encore tel que $x=-9+26k$. De même, il existe un entier relatif $k'$ tel que $y=-8+23k'$.
En résumé, si $(x,y)$ est solution de $(E)$, il existe deux entiers relatifs $k$ et $k'$ tels que $x=-9+26k$ et $y=-8+23k'$.
Réciproquement, soient $k$ et $k'$ deux entiers relatifs puis $x=-9+26k$ et $y=-8+23k'$.
Les solutions de $(E)$ sont les couples d'entiers relatifs de la forme $(-9+26k,-8+23k)$, $k\in\mbz$.
Pour $k=1$, on obtient $a=-9+26=17$. Réciproquement, puisque $17\times23=391=1+15\times26$, l'entier $a=17$ est un entier tel que $0\leqslant a\leqslant25$ et $23a\equiv1\;(\text{mod}\;26)$.
$a=17$.
Etape 2.
Etape 3. Le couple $(21,20)$ correspond au mot \textbf{VU} et donc
le mot \textbf{ST} se code en \textbf{VU}.
car $205=23+7\times26$, $104=4\times26$, $286=11\times26$ et $101=23+3\times26$ et donc
car $68=16+2\times26$, $391=1+15\times26$, $323=11+12\times26$ et $187=5+7\times26$ et donc
car $209=1+8\times26$, $26=0+1\times26$, $156=0+6\times26$ et $27=1+1\times26$ et donc
En résumé,
$\left\{ \begin{array}{l} y_1\equiv11x_1+3x_2\;(\text{mod}\;26)\\ y_2\equiv7x_1+4x_2\;(\text{mod}\;26) \end{array} \right.\Leftrightarrow \left\{ \begin{array}{l} x_1\equiv16y_1+y_2\;(\text{mod}\;26)\\ x_2\equiv11y_1+5y_2\;(\text{mod}\;26) \end{array} \right.$.
Le couple $(3,23)$ correspond au mot \textbf{DX} et donc
le mot \textbf{YJ} se décode en \textbf{DX}.