Input: Array a, Integer T. left = 1; right = length of the array; while (left T) right--; return false; Show that the above program is correct by using loop invaraint. Describe a loop invariant and prove it using induction