>>935
松村「可換環論」の定理4.2