formula_9 (1)