Lemma 18.4
Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Vorlesung 18 Numerische Halbgruppen/Teilerfremde Erzeuger/Ab n alles/Fakt