formula_31 (8.1)