Peano-Halbring/Kommutativer Halbring/Fakt