¿Es formula_31 reducible como polinomio de formula_16?