真のイデアル
$ I\subsetneqq Rなイデアル