Uma vez que o produto apenas difere do produtório por não impôr a operação de sucessor, é uma abstracção de ordem superior, podendo ser especializada para o produtório:
(defun produtorio (func a b) (produto func a (function 1+) b))