Prove that AiA2i]A4i]Aj] after every iteration of the inner while loop in SwapAlg (below). input: A,n array of n integers, n size of the array 1. Algorithm: SwapAg 2. for ien down to 1 do 3. 1 i 4. whale 2]n and A(2)