If m,n e Z such that mn^2 is even, then at least one of m, n is even. 7. Let n e Z. Prove that if n^2 is even, then n is even. 8. There is no rational number x such that x^2 = 2.