(define (fac n)
(if (zero? n)
1
(* n (fac (- 1 n)))))