後者はformula_1はそれ自身イデアルであり、 "i" を含むことを示している。