For models that do support primitive recursion, a unique function h(y) satisfying a primitive recurs...