であり、formula_3は次のように表せる。