とくに、"r" は局所環であり、その極大イデアルは "d" のある素イデアルと交わる。