Haciendo formula_12 obtenemos