Peano-Halbring/Division mit Rest/Eindeutigkeit/Aufgabe

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