formula_17、formula_19に対して、関係式(g)を満たす関数formula_22と定数cが存在する事も示せる。