Lemma 2.1.18. The basic partial recursive functions are $\lambda$-definable.