Peano-Halbring/Division mit Rest/Fakt/Beweis/Aufgabe

Beweise den Satz über die Division mit Rest in einem Peano-Halbring.