Dies folgt aus Fakt zur D := Z / ( s ) {\displaystyle {}D:=\mathbb {Z} /(s)} -Graduierung
Der Kern dieser Abbildung geschnitten mit N n {\displaystyle {}\mathbb {N} ^{n}} bildet gerade die angegebene Menge. Der Zusatz folgt aus