がこの素イデアルに含まれることと「置換に属するの理想素因子を含む」ことは同値である。