generated at
真のイデアル
I\subsetneqq Rなイデアル