Zeige, dass die auf Z × N + {\displaystyle {}\mathbb {Z} \times \mathbb {N} _{+}} durch
festgelegte Relation eine Äquivalenzrelation ist.