Es decir, si formula_5 entonces ha de ser formula_6 o formula_7 (es decir, alguno de ellos ha de ser un polinomio constante).