証明を完成させる為に、formula_6を任意の全域計算可能関数とする。