prove that if n,m are natural numbers and nm is even, then either n is even or m is even.
Proof: Assume n,m are natural numbers and nm is even, then either n or m is even.
Case 1: Assume n,m are natual numbers and nm is even, then n and m are even such that there exists natural numbers k and r so that n=2k and m=2k.
Consider nm: nm = (2k)(2r) = 4kr = 4(kr).
since k and r are natural numbers and 4 is even, then 4kr is even therefore nm is even.