Satz 12.8
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 12 Dedekindbereich/Chinesischer Restsatz/Fakt