従って、原始再帰的でない計算可能関数が存在する.
、