Por lo que basta con que formula_52 en formula_53 impliquen que formula_10 y formula_55 estén en formula_56 para que formula_53 sea un ideal.