Over een oefening van Van der Waerden

The relation between Combinatory Logic and Lambda-calculus