Lemma 4.8
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 4 Kommutative Ringtheorie/Multiplikatives System/Paare/Äquivalenzrelation/Wohldefiniertheit/Fakt