Resposta ao exercício 9
(defun menor (x y) (cond ((zerop y) nil) ((zerop x) t) (t (menor (1- x) (1- y)))))