Monomiale Kurven/Multiplizität/Abschätzungen für Anzahl in Differenzmengen/Fakt

Es sei  $M\subseteq \mathbb{N}$  ein numerisches Monoid mit (numerischer) Multiplizität $e_1$ und sei $\ell$ eine Zahl mit  ${\mathbb{N}}_{\ge \ell }\subseteq M$. 

Dann gelten für die Mächtigkeit der Differenzmenge $M-n{M}_{+}$ die Abschätzungen

$n{e}_1-\ell \le \mathrm{\#}(M-n{M}_{+})\le (n-1)e_1+\ell .$

Zum Beweis, Alternativen Beweis erstellen