Definition

An even integer is an integer that can be written as , where