Es sei
ein homogenes Ideal mit homogenen Erzeugern f j {\displaystyle {}f_{j}} vom Grad d j {\displaystyle {}d_{j}} . Es sei d {\displaystyle {}d} das Minimum der d j {\displaystyle {}d_{j}} . Zeige, dass für die Hilbertfunktion des graduierten Restklassenringes R = K [ X 1 , … , X m ] / I {\displaystyle {}R=K[X_{1},\ldots ,X_{m}]/I} die Beziehung
für n < d {\displaystyle {}n<d} gilt.