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 ________ ; When does the process stop?
________
________ )))