Kommutativer Halbring/Binomi/Fakt/Beweis/Aufgabe