Lemma 2.1.20. The class of $\lambda$-definable functions is closed under primitive recursion.