Der Satz über die Koeffizienten der Kreisteilungspolynome.