Peano-Halbring/Division mit Rest/Eindeutigkeit/Aufgabe

Zeige, dass in einem Peano-Halbring zu die Division mit Rest

eindeutig ist.