In 1623. write at i'iegntimi for each statement. 16. I) Is) V real numbers x, if x2 2 1 then x > 0. . V integers d, if 6/d is an integer then d = 3. .Vx E R,ifx(x +1) > Othenx :> Oorx 0) 1. a := a 2 end while [Post-condition: a = 0 if A is even, and a = 1 ifA is Odd] 100p invariant: [(11) is "Both a and A are even integers or both are odd integers and a 3 l