Problem 3. Prove the correctness of the following program that is supposed to return the sum of the numbers in a given array A. procedure FindSum(A, n) **Returns the sum of all elements in A[1..n sum A[1] while j n do sum sum + A[j] jj+1 end while return sum Hint: Use the following as loop invariant and use induction. "At the beginning of each loop iteration, sum = AA