Die ganzen Zahlen/Konstruktion aus N/Sprungversion/Aufgabe

Zeige, dass die Äquivalenzrelation auf , die durch , falls

ist, festgelegt ist, durch die Sprünge erzeugt wird.