Lemma 3.8
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 3 Polynomring/Eine Variable/Körper/Restklassencharakterisierung von irreduzibel/Fakt