Sei ${\displaystyle {}A_{D}}$ ein quadratischer Zahlbereich mit ${\displaystyle {}\mathbb {Z} }$-Basis ${\displaystyle {}1}$ und ${\displaystyle {}\omega }$ und sei ${\displaystyle {}{\mathfrak {a}}}$ ein von Null verschiedenes Ideal in ${\displaystyle {}A_{D}}$. Es sei ${\displaystyle {}a}$ und ${\displaystyle {}b=\alpha +\beta \omega }$ eine ${\displaystyle {}\mathbb {Z} }$-Basis (mit ${\displaystyle {}a,\beta }$ positiv) wie im Fakt konstruiert. Dann werden die Elemente im Restklassenring ${\displaystyle {}A_{D}/{\mathfrak {a}}}$ eindeutig durch die Elemente

${\displaystyle {\left\{r+s\omega \mid 0\leq r<a,\,0\leq s<\beta \right\}}}$

repräsentiert. Insbesondere besitzt der Restklassenring ${\displaystyle {}a\cdot \beta }$ Elemente.