>>731
だから、m_p⊆m　となる真のイデアルmがあったら、m=m_pであることを示すのですよ。