Entonces formula_31 es reducible en formula_17, ssi, formula_31 es reducible en formula_13.