Also:
Division durch 3 gibt es drei Möglichkeiten:
Äquivalenzklassen [1] = {-5 , -2 , 1 , 4 , 7 , 10 , 13}
Äquivalenzklassen [2] = {-4 , -1 , 2 , 5 , 8 , 11 , 14}
Äquivalenzklassen [0] = {-6 , -3 , 0 , 3 , 6 , 9 , 12}
Wir haben drei Klassen, je für eine Restklasse.
Die Reste 1 u. 2 sind dann Elemente die keinen Partner haben in der Zielmenge
Rest 0: eindeutig ist 3 ein Teiler dieser Klasse.
Wäre es soweit ein logischer "Beweis" ?