For all integers m and n if mn is an even then m is even or n is even?

If m * n is even, it can be expressed as m * n = 2 * t, where t is natural number.

Either m or n has to provide factor of 2 for the right side of equation, so it basically means at least one of them has to be even.