k[x_1,・・・,x_n]とｍｐの間にはイデアルは多分存在しないと思うのだけど・・・。