Es sei D ≠ 0 , 1 {\displaystyle {}D\neq 0,1} eine quadratfreie Zahl, sei A D {\displaystyle {}A_{D}} der zugehörige quadratische Zahlbereich mit Diskriminante △ {\displaystyle {}\triangle } . Es sei a ≠ 0 {\displaystyle {}{\mathfrak {a}}\neq 0} ein Ideal.
Dann gibt es ein f ∈ a {\displaystyle {}f\in {\mathfrak {a}}} , f ≠ 0 {\displaystyle {}f\neq 0} , mit der Eigenschaft