Beweis

Nach Beispiel ist das Hilbertpolynom eines Polynomringes in Variablen gleich . Multiplikation des Leitkoeffizienten mit der Fakultät des Grades ergibt .