formula_4).