Lemma 2.1.22. Every partial recursive function is $\lambda$-definable.