Question 502955
Assume that the statement was false; e.g. if 4 divides mn, then neither m nor n is even. But then mn would be either 1 or 3 mod 4 (mn odd), and mn does not divide 4, contradiction.