Definitions of even and odd integers.

An integer n is called even if there exists an integer k such that n=2k.

An integer n is called odd if there exists an integer k such that n=2k+1.