Äquivalenzrelation/Modulo 7/Aufgabe

Zeige, dass die folgende Relation eine Äquivalenzrelation auf ${}\mathbb {Z}$ ist:

$x\sim y,{\text{ falls }}7{\text{ ein Teiler von }}x-y{\text{ ist}}.$

Zur Lösung, Alternative Lösung erstellen