(defun foo (n) (if (= n 0) "zero" n))

この関数は参照透過性が確保されている関数という認識でいいんだよね？