Prove that if $ (x+y)$ is even, then $(x−y)$ is even, for integers. Did I prove correctly? is this a direct proof? For $x+y$ to be even, either $x$ and $y$ are both even, or $x$ and $y$ are both odd.
If $x$ and $y$ are both even we obtain: $x=2k$ and $y=2j$.
substituting into $x-y$ we get $2k-2j$.
$2(k-j)$ is even, so we have proved the first case.
Now if $x$ and $y$ are both odd, we obtain: $x=2k+1$ and $y=2j+1$.
substituting into $x-y$ we get $(2k+1)-(2j+1)$,
$2k+1-2j-1= 2k-2j= 2(k-j)$ which is even, and we have proved the remaining case.

Actually, you can have a direct proof that $x+y$ and $x-y$ have the same parity, since $(x+y)-(x-y)=2y$ is even.
