Kurs:Körper- und Galoistheorie/Teilbarkeitstheorie/Bereich/Prim ist irreduzibel/Fakt/Faktreferenznummer

Lemma 3.10 (Körper- und Galoistheorie (Osnabrück 2018-2019))