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
________ ; What do we compute at each non-final step? )))