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