Theorem: The difference between any odd integer and anyeven integer is odd.
“Proof: Suppose n is any odd integer, and m is any even integer. By definition of odd, n = 2k +1 where k is an integer, and by definition of even, m = 2k where k is aninteger. Thenn