Proof.
We assume that is an integer and will prove that Since we know that any integer must be even or odd, we will use two cases. The first is the is an even integer, and the second is that is an odd integer.
In the case where is an even integer, there exists an integer such that
Substituting this into the expression yields
By the closure properties of the integers, is an integer, and hence is even. So this proves that when is an even integer, is an even integer.
In the case where is an odd integer, there exists an integer such that
Substituting this into the expression yields
By the closure properties of the integers, is an integer, and hence is even. So this proves that when is an odd integer, is an even integer.
Since we have proved that is even when is even and when is odd, we have proved that if is an integer, then is an even integer.