formula_2上の関数formula_38を、formula_11に対してformula_40として定義する。