Over een oefening van Van der Waerden
The relation between Combinatory Logic and Lambda-calculus