有限生成イデアルIに対して、ある{a_i}をとってきて、有限のiに対してはI≠(a_0, ..., a_i)となるようにできますか?