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 : $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})])$ où $[.,...,.]$ est un encodage bien choisi. Alors f est primitive récursive.