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

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