Peano-Halbring/Vorgängereigenschaft/Fakt/Beweis/Aufgabe