Prove that the following algorithm for exponentiation is correct. You may use the loop invariant jy int power(y, z){ //return y, where y = IR, z N 1. x = 1; 2. while(z > 0){ 3. x = x*y: 4. 2=2-1; } 5. return; } = Yo