Rationale Zahlen/Konstruktion aus Z/Addition bei gleichem Nenner/Aufgabe

Zeige, dass im Äquivalenzklassenmodell für die Addition die Beziehung

erfüllt.