Give a direct proof (as in Theorem 2.3) for each of the following.
(a) For all integers k and l, if k, l are both even, then k + l is even.
(b) For all integers k and l, if k, l are both even, then kl is even.