Lemma 9.8
Kurs:Elemente der Algebra (Osnabrück 2024-2025)/Vorlesung 9 Faktorieller Bereich/Primelement/Exponent/Fakt