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