Opgave
Gegeven is de restklassenring S=R [X]/(d) waar d een veelterm in R[X] van graad n>0 is. Als a0, . . . , an-1 veeltermen in R[X] zijn met deg(ai) = i (i=0, . . . ,n-1), dan is dit stelsel een basis van S opgevat als vectorruimte over R. Bewijs dit.