Seminario_TP4_EJ01

(defun pertenece (a l)
    (if (null l) nil
        (if (atom (car l))
            (if (eq a (car l))
                t
                (pertenece a (cdr l))
            )
            (if (pertenece a (car l))
                t
                (pertenece a (cdr l))
            )
        )
    )
)