Es sei ${\displaystyle {}R_{n}=\mathbb {Z} [X]/(\Phi _{n})}$ der ${\displaystyle {}n}$-te Kreisteilungsring und es sei ${\displaystyle {}q}$ eine Primzahl, die kein Teiler von ${\displaystyle {}n}$ sei. Es sei ${\displaystyle {}f}$ die multiplikative Ordnung von ${\displaystyle {}q}$ in ${\displaystyle {}{\left(\mathbb {Z} /(n)\right)}^{\times }}$.

Dann liegen oberhalb von ${\displaystyle {}(q)}$ in ${\displaystyle {}\operatorname {Spek} {\left(R_{n}\right)}}$ genau ${\displaystyle {}{\frac {\varphi (n)}{f}}}$ Primideale, deren Restekörper gleich ${\displaystyle {}{\mathbb {F} }_{q^{f}}}$ sind.