Definition:Even Integer/Even-Times Even/Historical Note

Historical Note on Even-Times Even Integer
The introduction of the category of even-times even integers originated with the Pythagoreans.