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

O The product of two integers (m)(n) is even.
O m is even or n is even.
O The product of two integers (m)(n) is not even.
O m and n are not even.
O The product of two integers (m)(n) is even and m and n are not even.