ここで、formula_40のときformula_41となるformula_42は上式より