Definition:Even-Times Even Integer