ただしformula_39,formula_40(formula_41)である。