because m and n can be EE ED DE or DD, E=even D=odd, there are no other cases.
But my point is still this is a number theory study.
Have you proved each of those?
If you have, then you have proved the contrapositive.
Which means you have proved the theorem.