The existence of such a formal derivation implies the function representing the calculation is recur...