formula_5を考え併せると、