Es decir que formula_179 es un cero de formula_79.