Lisp implementation of Prob#4 added.