In Exercise, show that the given algorithm, correctly used, produces the output stated, by...

In Exercise, show that the given algorithm, correctly used, produces the output stated, by using mathematical induction to prove the relationship indicated is a loop invariant and checking values when the looping stops. All variables represent nonnegative integers.

Exercise