Lemma 2.1.19. The class of $\lambda$-definable functions is closed under composition.