Consider the following statement: If the product of two integers (m)(n) is even, then m is even or n is even. A proof of this statement by contraposition would start with what assumption?