ネーター環
"R" をネーター環または付値環とする。すると