>>734
だから　>>697。
「>>1」が示さなければならないのは
「>>697」が示唆している写像が環の自明でない準同型写像であり、その核がm_pであること。