Lemma 20.12
Kurs:Einführung in die Algebra (Osnabrück 2009)/Vorlesung 20 Polynomring/Primelement bleibt prim/Fakt