6.2 - For this code present a loop invariant and prove it. Assume n 1. x1 while i <>