Kommutativer Halbring/Allgemeines Distributivgesetz/Fakt/Beweis/Aufgabe