Peano-Halbring/Wohlordnungsprinzip/Fakt/Beweis/Aufgabe