Numerische Halbgruppe/Teilerfremde Erzeuger/Numerische Einbettungsdimension/Charakterisierung mit M+ ohne M+^2/Fakt/Beweis

Beweis

Dies folgt direkt aus Fakt.