La récursion forte est primitive récursive

Soit $h: \mathbb{N}^{k+2} -> \mathbb{N}$ primitive récursive, soit $f : \mathbb{N}^{k+1} -> \mathbb{N}$ telle que :\r\r$f(n,x_{1},...,x_{k}) = h(n, x_{1},...,x_{k}, [f(0,x_{1},...,x_{k}), ..., f(n-1, x_{1},...,x_{k})])$\r\roù $[.,...,.]$ est un encodage bien choisi. Alors f est primitive récursive.\r