Lemma 4.8
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 4 Kommutativer Halbring/Potenzgesetze/Fakt