Determine whether each of the following algorithms is fully correct, and prove that your answer is correct. Note that scoping is denoted with indentation in this pseudocode (so the if-else in the second algorithm is not in the while loop). (a) Divide(2) IN : X,Y EN 1q=0 2 r = x 3 while r > y do r=r - y 5 q= q +1 6 return (q,r) OUT: 2 > 0 and 0 1 ie=1 2 while e