To prove the following statement by contrapositive: For any integers a and b, if a*b is not even, then either a is odd or b is odd. What would be assumed to be true? What would be proven to be true?