Question #3 (17 points) Consider the following code fragment: 1 2 3 4 Do-Math(x, p) result = 1 factor = pLeft = p while pLeft > 0 result = result * factor pLeft pLeft-1 return result Ooo (12 points). Prove the following loop invariant for Do-Math(): (pLeft> 0) and (result * factorpLeft = x'). Be sure to argue both the initializa- tion and maintenance conditions. (3 points). Using the invariant, prove the correctness of Do-Math(). Rely on the invariant and the one other fact guaranteed to be true upon loop termination