Concluimos recordando que formula_6.