Let be any two integers, and assume is even. (This would mean either both are even or odd, but that's not important.)
We have
and the parity of tells us must also be even. QED
6.5m questions
8.6m answers