>>923
不定域イデアル