イデアル分解の性質に関する定理