また、formula_43を次のように導く。