Primitive recursion is a paradigm case of finite, effective procedure, so any function defined by it...