局所化における素イデアルと対応