Kommutativer Halbring/Erste binomische Formel/Fakt/Beweis/Aufgabe