formula_9).