Resposta ao exercício 9

(defun menor (x y)
  (cond ((zerop y) nil)
        ((zerop x) t)
        (t (menor (1- x) (1- y)))))