Question #5 (20 points) Consider the following code fragment: Do-Math(x, y) result X 1 2 - 0 while y result = resolt - 1 5 2 = 2+1 return result Provide clear, concise answers to each of the following related questions. (3 points). What does Do-Math(10,5) return? 3 (12 points). Argue the correctness of the following loop invarintit for Do Math(): result ==-Be sure to argue both the initial condition and the maintenance condition (5 points). Using the invariant, prove the correctness of Do-Math(). Don't forget to use the loop test condition