Lemma 26.11
Kurs:Einführung in die Algebra (Osnabrück 2009)/Vorlesung 26 Kreisteilungspolynom/Produkt ist X^n-1/Fakt