"r" の任意の素イデアルformula_4に対して以下が成り立つ。