Added a simpler solution of problem 9 in OCaml.