>>239
なら不定域イデアルのアイデアを発展させれば良いのに