Es sei ${\displaystyle {}p}$ eine Primzahl und sei ${\displaystyle {}\zeta \in \mathbb {C} }$ eine primitive ${\displaystyle {}p}$-te Einheitswurzel.

Dann ist das einzige Primideal im ${\displaystyle {}p}$-ten Kreisteilungsring oberhalb von ${\displaystyle {}(p)}$ das Primhauptideal ${\displaystyle {}(1-\zeta )}$.