y se determina que formula_14 no es un factor de formula_7.