>>692
k[x_1,・・・,x_n]の元に x_i = a_i (i=1,2,・・・,n) を代入する操作は、
k[x_1,・・・,x_n] から k への上への準同型。
その核がm_p 。