1 (defun full-fermat-test (n) 2 (defun aux-test (a) 3 (cond ((= a 1) t) 4 ((/= (expmod a n n) a) nil) 5 (t (aux-test (1- a))))) 6 (aux-test (1- n))) 7 8 (full-fermat-test 6601)