Sei D ≠ 0 , 1 {\displaystyle {}D\neq 0,1} eine quadratfreie Zahl und sei A D {\displaystyle {}A_{D}} der zugehörige quadratische Zahlbereich mit Diskriminante △ {\displaystyle {}\triangle } . Dann enthält jede Idealklasse aus der Klassengruppe ein Ideal a ⊆ A D {\displaystyle {}{\mathfrak {a}}\subseteq A_{D}} , das die Normschranke
erfüllt.