Kreisteilungspolynom/Koeffizienten in Z/Fakt/Beweis/Aufgabe