がある定数formula_8に対して成り立つことをいう。