Seja $\overline{a_{n}a_{n-1}\cdots a_{2}a_{1}}$ um número genérico. Temos que
\[ \begin{align*} \overline{a_{n}a_{n-1}\cdots a_{2}a_{1}} &= 10\cdot \overline{a_{n}a_{n-1}\cdots a_{3} a_{2}} + \overline{a_{1}} \\~\\ &= 2\cdot\left(5\cdot \overline{a_{n}a_{n-1}\cdots a_{3} a_{2}}\right) + \overline{a_{1}} \\~\\ &= 2k+\overline{a_1},\: k \in \mathbb{N} \end{align*}\]Portanto um número só é par se seu primeiro dígito for par, ou seja: se $\overline{a_1} \in \{0,2,4,6,8\}$.