に対して、formula_73とおく。