(defun f(v u) 
(if(null u) nil 
(let((c(first u))(r(rest u)))) 
(cond((and(atom c)(equal v c)) (f v r)) 
((atom c)( cons c (f v r))) 
(t(cons(f v c)(f v r))))))