Se definen dos funciones formula_7 y formula_8