Es sei R {\displaystyle {}R} ein Zahlbereich und sei a {\displaystyle {}{\mathfrak {a}}} ein Ideal in R {\displaystyle {}R} . Dann gibt es ein n ≥ 1 {\displaystyle {}n\geq 1} derart, dass a n {\displaystyle {}{\mathfrak {a}}^{n}} ein Hauptideal ist.