Kurs:Diskrete Mathematik/Ring/Elementare Eigenschaften/Fakt/Faktreferenznummer

Lemma 5.11 (Diskrete Mathematik (Osnabrück 2020))