ただし、formula_30,formula_31である。