formula_7であることがある。