したがってformula_5はちょうどすべての素イデアルの共通部分である。