Lemma 18.12
Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Vorlesung 18 Numerische Halbgruppe/Teilerfremde Erzeuger/Minimales Standard-Erzeugendensystem/Fakt