さらに、適当なformula_37に対してformula_2をformula_39に置き換えることができる。