(define (fac n)
  (cond ((= n 0) 1)
        (else (* n (fac (- n 1))))))