Let Q: x2 > x + 1 where x is a positive integer. Assume that Q is true after the kth iteration of the following while loop; prove that Q is true after the next iteration. while (x > 5) and (x < 40) do x = x + 1 end while

i --, x" '--, !jO .-- -. -. .'_ ~ r>; , ,__ _-{'"'-" .~ _ : :-- ' \_J:_\ '2:,:~ "';" !!!-- 2 u- 2}!7~~\;:-'l 'I--i~dO) ,2(0-21nl~1...