Prove: An odd plus an odd
equals an even.
(2m + 1) + (2n + 1) = [ ? ]m + [ ]n + [ ]
= 2(m+n+ [])
= even