Ahora bien, formula_8 también es un ideal, aunque éste no es principal.