Es sei R = A D {\displaystyle {}R=A_{D}} ein quadratischer Zahlbereich.
Dann ist die Divisorenklassengruppe von R {\displaystyle {}R} eine endliche Gruppe.