Example 4.6.2 No Integer Can Be Both Even and Odd
The fact that no integer can be both even and odd follows from the uniqueness part of
the quotient-remainder theorem. A full proof of this port of the theorem is outlined in
exercise 18 of section 4.7. This example shows how to use proof by contradiction to
prove one specific case.