Peano-Halbring/Division mit Rest/Eindeutigkeit/Aufgabe