イデアルの積を計算すれば証明終わり