Prove that A[i]A[2i]A[4i]A[j] after every iteration of the inner while loop in SwapAlg (below). Hint: you only need to prove this claim is true if the while loop iterates, so you may assume that 2jn and A[2j]