zは局所環であり、その唯一の極大イデアルは