The sum of an even integer and an odd integer is odd.

Proof:

We wish to show that the sum of an even integer and an odd integer is odd. Let be even and let
be odd. By the definition of even, we have . By the definition of divisible, we have , for
some . By the definition of odd, we have , for some .

Thus, (since and ).

(by association).

(by factorization).

Hence, there exists some number such that .

Therefore, by the definition of odd, is odd.