9. Prove that for every integer n, n is even if and only if n is even. 10. Prove or disprove: if we color each of the integers from 1 to 8 two colors (say, red and blue), then for any coloring, there are three integers x