Para cada formula_8 debemos comparar formula_17 y formula_18.