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

Beweise die erste binomische Formel für einen kommutativen Halbring.