1) Use proof by contrapositive If, for a (belongsto) Z, 7a + 9 is even, then a is odd .

2) Use proof by contradiction: a^2-4b (isnotequalto) 2, for a,b belongsto Z.

You may use the following statement without proof: If a^2 is even, then a is even