show additive inverse of an even number is an even number using direct proof