Du kannst Dir auch so einen Tabelle aufstellen$$\begin{array}{c|ccc}\mod 3& a \equiv 0 & a \equiv 1& a \equiv 2\\ \hline b \equiv 0& 3 \mid a& 3 \mid b& 3 \mid b\\ b \equiv 1& 3 \mid a& (a-b) \equiv 0& (a+b) \equiv 0\\ b \equiv 2& 3 \mid a& (a+b) \equiv 0& (a-b) \equiv 0\end{array}$$Der Modulo von 3 der beiden Zahlen \(a,b \in \mathbb{Z}\) kann nur 0, 1 oder 2 sein.
Da jedes Feld der Tabelle ausgefüllt ist, und damit jede Kombination erfasst ist, sind alle Fälle abgedeckt.