Input: Array a, Integer T. left = 1; right 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.