$($bonus$)$ Prove

$$x$($A$($x$)$B$($x$))$

$$x$($A$($x$)->$ C$($x$))$

$$x$($C$($x$)$B$($x$))$

Hint: This is very similar to example $4\mathrm{.}2$ in the text