Numerische Halbgruppen/Teilerfremde Erzeuger/Ab n alles/Fakt
Sei ein numerisches Monoid, das von teilerfremden natürlichen Zahlen erzeugt sei.
Dann gibt es zu jedem eine Darstellung
Für hinreichend groß kann man zusätzlich noch erreichen, so dass es dann eine Darstellung mit nichtnegativen Koeffizienten gibt.