(a) formula_17