Kommutativer Halbring/Allgemeines Distributivgesetz/Fakt/Name