Stuck on this homework question: show that the additive inverse of an even number is an even number using a direct proof