Kurs:Grundkurs Mathematik/Angeordneter Ring/Elementare Eigenschaften/Fakt/Faktreferenznummer

Lemma 19.13 (Grundkurs Mathematik (Osnabrück 2022-2023))