\begin{definition}[Definition:Even Integer/Even-Times Even]
Let $n$ be an integer.
Then $n$ is '''even-times even''' {{iff}} it has $4$ as a divisor.
The first few non-negative '''even-times even''' numbers are:
:$0, 4, 8, 12, 16, 20, \ldots$
{{OEIS|A008586}}
\end{definition}