
\vspace*{-2em}
\begin{align*}
11 | (7x+4y) & \iff 7x+4y \equiv 0 \mod 11\\
             & \iff {\color{red}8\times}(7x+4y) \equiv 0 \mod 11\\
             & \iff 56x + 32y \equiv 0 \mod 11\\
             & \iff x + 10y \equiv 0 \mod 11 \quad\text{ car }56\equiv1\mod11\text{ et }32\equiv10\mod11.
\end{align*}

\vspace*{-1.5em}
\begin{rem}
On a multiplié par 8 car c'est l'inverse de 7 modulo 11.
\end{rem}
