わかった、Hと言う写像で(b_1,・・・,b_n)を代入する写像を作ればmp'が核に
なるから、k[x]/mp'がkと同型になってkが体だからmp'がやっぱり極大イデアル
になるってことか・・・。
納得した。凄くすっとした。