**Definition**: An integer is even is there exists an integer such that .

**Proof**: Let be an even integer. This implies there must exist an integer such that . To determine whether or not is even, we can simply look at . The integer must now obviously be even since . .

Advertisements