la_40，便得到formula_41。此式对所有formula_42皆成立，由于实数或复数域有无穷多元素，上式等式在多项式环formula_43内成立。设formula_44，矩阵formula_1赋予formula_46一个formula_43-模结构：formula_48。考虑formula_43-模formula_50，我们有formula_43-模之间的「求值态射」：固定formula_53，对formula_54中的等式右侧取formula_56后得到formula_57，左侧取fo