formula_7を代入し、共通する項を消去すると、次の式が得られる。