Consider the teorem, the difference of any even integer minus any odd integer is odd.
The proof is given as:
Let be an even integer by definition of even and
by definition of odd, where q and r are integers.
Consider,
where is an integer and
is odd.
Conclusion:
The the difference of any even integer minus any odd integer is odd, is proved.