Predpokladáme N <= M. Rekurzívne sčítavame N a fun(N+1,M), kým neplatí, že N=M.
; Predpokladáme n <= m. (defun sucetnm (n m) (cond ((= n m) n) (T (+ n (sucetnm (+ n 1) m))) ) ) ; Príklady: (sucetnm 1 3) -> 6 (sucetnm -1 1) -> 0