Rationale Zahlen/Konstruktion aus Z/Teilerfremder Vertreter/Aufgabe

Aus Wikiversity

Zeige, dass bei der auf durch

festgelegten Äquivalenzrelation jedes Paar einen Vertreter besitzt, bei dem und teilerfremd

sind.