Lemma 9.7
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 9 Zahlentheorie/Quadratischer Zahlbereich/Ganz, wenn Spur und Norm ganz ist/Fakt
