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