>>732
それは、分かっています。
でも、感じとして、ｍｐが極大だろうと言う事が分ったと言うだけ
です。
>>733を示すか、k[x]/mpが体を示すか、どっちかしないと駄目
なんでしょうか？
ｍｐが核になっていると言う事を使えば後者は示せるような気
はしているのですが、実際どうやったら良いか分らないし・・・。