このとき、formula_56