Es sei p {\displaystyle {}p} eine Primzahl, q = p r {\displaystyle {}q=p^{r}} und ζ {\displaystyle {}\zeta } eine primitive p r {\displaystyle {}p^{r}} -te Einheitswurzel und
Dann ist die Diskriminante der Q {\displaystyle {}\mathbb {Q} } -Basis 1 , ζ , ζ 2 , … , ζ φ ( p r ) − 1 {\displaystyle {}1,\zeta ,\zeta ^{2},\ldots ,\zeta ^{{\varphi (p^{r})}-1}} des p r {\displaystyle {}p^{r}} -ten Kreisteilungskörpers gleich
eine
Primzahl,
und 
eine
primitive
-te
Einheitswurzel
und
-Basis
des -ten
Kreisteilungskörpers
gleich
