環の有限生成でないイデアル考えたらいいだけちゃうん