Prove that y=x' is the loop invariant in the code below. Show your working steps in Hoare Triple Notation table. int y = 1, i = 0; while (i < n) { y = y *x; i = i + 1; }