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