If positive integers x and y are not both odd, which of the following must be even?