如果I是R的素理想,那么R/I是整区,并且有限,所以R/I一定是域,于是I是极大理想.