Definition:Even-Times Odd Integer