4. Use a loop invariant to find any error(s) in the following algorithms. If any errors are found, correct them and redo the loop invariant. You must submit the proof of correctness showing the errors in algorithm logic, as well as for your fixed algorithm. Note: There is no general recipe for finding a loop invariant of an algorithm. It could be helpful to see previous assignments of this course to understand how to find a loop invariant and use it to show your algorithm is correct. (a) (10 points) The following algorithm computes r", where r>0 and n > 0, in a more efficient way than multiplying r by itself n - 1 times. Require: x > 0, n > 0 1: ans = 1, a = x, p =n 2: while p > 0 do 3: if p is odd then ans = ans * a a= a * a p= (p - 1)/2 7: else a= a* a p=p/2 10: end if 11: end while 12: return ans HINT: Calculate a few iterations by hand. Look for patterns in how ans is related to aP and