So the process isn't exactly factorial.
Bue we are always computing the product of A and B!, so call
the procedure factorial-product:
(define factorial-product
(lambda (a b) ; compute a × b!
(if (= b 0)
a
(factorial-product (* a b) (- b 1)))))