
\begin{itemize}
\item Si $a \equiv 0 \mod 3$ ou $b \equiv 0 \mod 3$:
\[
ab \equiv 0 \mod 3 \Longrightarrow ab(a^2-b^2) \equiv 0 \mod3.
\]

\item Si $a$ et $b$ ne sont pas congrus à 0 modulo 3 alors:
\begin{itemize}
\item si $a \equiv 1 \mod 3$ et $b \equiv 1 \mod 3$:
\[
a^2-b^2 \equiv 0 \mod 3 \Longrightarrow ab(a^2-b^2) \equiv 0 \mod 3.
\]

\item si $a \equiv 1 \mod 3$ et $b \equiv 2 \mod 3)$, ou l'inverse:
\[
a^2-b^2 \equiv 1-4 \equiv 0 \mod 3 \Longrightarrow ab(a^2-b^2)\equiv 0 \mod 3.
\]
\end{itemize}
\end{itemize}
\vspace*{3cm}
