Kurs:Diskrete Mathematik (Osnabrück 2020)/Kommutativer Halbring/Potenzgesetze/Fakt/Beweis/Aufgabe/Aufgabereferenznummer