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