>>726
k[x_1,・・・,x_n]=(1,・・・,x_n-a_n)⊇(x_1-a_1,・・・,x_n-a_n)⊇((x_1-a_1)^2,x_2-a_2,・・・,x_n-a_n)⊇・・・
ではないの？