非主指標はあるformula_7に対してformula_8という性質をもつ。