Lemma 2.1.21. The $\lambda$-definable functions are closed under minimisation.