Luego formula_6.