donde cada formula_31 es un ideal tal que formula_32.