(PROGN
(RPLACD (QUOTE FAC)
        (QUOTE (EXPR (LAMBDA (N)
                             (COND ((GREATERP 1 N)
                                     1)
                                   (T (TIMES (FAC (SUB1 N))
                                             N)))))))
(QUOTE FAC))