Есть граф (a e) (a c) (e c) (e d) (b e) (b d). Доказать, что он уникурсальный

(defun isUnic (graph)
  (let ((vlist (setof (apply 'append graph))))
   (every 'evenp 
     (mapcar #'(lambda (z) (apply '+ z))
       (mapcar #'(lambda (x) 
          (mapcar #'(lambda (y) (if (member x y) 1 0)) graph)) vlist)))))
 
==> isUnic
 
(isUnic '((a e) (a c) (e c) (e d) (b e) (b d)))
 
==> T

(defun isUnic (graph)
  (let ((vlist (setof (apply 'append graph)))) ;; объединяем все вершины графа в единый список
                                                           ;; и оставляем уникальные (setof)
 
   ;; Дальше строим список степеней вершин
 
   (every 'evenp  ;; проверяем, все ли степени четные
     (mapcar #'(lambda (z) (apply '+ z)) ;; сложение всех связей вершины
       ;; пробегаем по списку вершин
       (mapcar #'(lambda (x) 
          ;; для каждой вершины строим список связей (0 или 1)
          (mapcar #'(lambda (y) (if (member x y) 1 0)) graph)) vlist)))))