Kurs:Diskrete Mathematik/Körper/Integritätsbereich/Fakt/Faktreferenznummer

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