Question 9 (14 pts) Prove that the given code below computes the correct result if the code terminates. To do so, identify the loop invariant and decrementing function. Next, prove that the loop invar...