Kommutativer Halbring/0 mal 0/Fakt/Beweis/Aufgabe