すなわち、formula_5であるとする。