Prove:
For all integers n, if n2 is odd, then n is odd.
Use a proof by contraposition, as in Lemma 1.1.
Let n be an integer. Suppose that n is even, i.e., n = for some integer k. Then n2 = = 2



is also even.