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