>>923
単位元を含まない任意のイデアル