Corollary 2.1.16. Given a $\lambda$-term $M$, there is a $\lambda$-term $F$ such that $F{\equiv }_{\beta }M[f:=F]$.