"i" をネーター環 "r" のイデアルとする。