ここで右辺のformula_31はformula_39のみに依存し、には依存しない。