Because this bridge is proven rather than merely conjectured, a function defined by primitive recurs...