    Remarquons que :
    \begin{equation*}
        10 \equiv 3 \pod{7}\,,\quad
        100 \equiv 2 \pod{7}\quad\text{et}\quad
        1000 \equiv 6 \pod{7}.
        \end{equation*}
    Donc $a_3a_2a_1a_0 \equiv a_0+3a_1+2a_2+6a_3 \pod {7}$, le membre de gauche est congru à $0$ si et seulement si le membre de droite l'est.
