Lemma 2.2.13. Every total recursive function $f:{\mathbb{N}}^k\to \mathbb{N}$ is ${\mathrm{\Sigma }}_1$-represented in PA${}^{-}$.