If m and n are odd positive integers, then m^2+n^2 is even, but not divisible by 4. Justify.