converge a formula_9.