変数formula_13及びformula_1について、formula_15であるとする。