Ich vermute mal, dass eine Definition dafür vorliegt, was kongruent modulo einer ganzen Zahl heißen soll. Etwa in der Form a=b mod n genau dann, wenn a-b durch n teilbar ist. Wende diese Definition auf die Gleichung an und schreibe "teilbar duch 12" als "=12*k" mit einer ganzen Zahl k. Und das war es dann im Wesentlichen schon.