3. Prove the correctness of the following loop using the provided pre and post conditions, and provided loop invariant. Require: m is a nonnegative integer, x is a real number, i=0, and exp=1 1: while i=m do 2: exp:=expx 3: i:=i+1 4: end while Ensure: exp=expxn and i=n Loop invariant: I(n):(exp=x)(i=n)