Objective: Prove that (factorial-product a b) terminates with the value a × b! for any nonnegative integer b.