Como nota, el lado izquierdo cuenta el número de $n$-dígito de las cadenas sobre el alfabeto $\{0,1,2\}$ menos el número de $n$-dígito de las cadenas sobre el alfabeto $\{0,1\}$. Por lo tanto, el lado izquierdo cuenta el número de $n$dígitos cadenas de más de $\{0,1,2\}$ que contienen al menos un $2$.
Denotamos como $S$ el conjunto de $n$dígitos cadenas de más de $\{0,1,2\}$ que contienen al menos un $2$, cuya cardinalidad queremos contar. Partición de $S$ en los conjuntos de $S_0$ través $S_{n-1}$, donde $S_i$ es el número de $n$dígitos cadenas de más de $\{0,1,2\}$ que contienen al menos un $2$, y en el primer $2$ es en el $i+1$-st posición. Es fácil ver que $S=\bigcup_{i=0}^{n-1}S_i$. (La primera $2$ debe ser en una de las posiciones $1$ través $n$, y los conjuntos de $S_i$ partición $S$, como ninguna cadena puede tener su primera $2$ en más de una posición.
Las cadenas en $S_i$ debe comenzar con $i$ dígitos de $\{0,1\}$ ($2^i$ posibilidades), debe tener el dígito $2$ en la $i+1$st posición ($1$ posibilidad), y debe terminar con $n-i-1$ dígitos de $\{0,1,2\}$ ($3^{n-i-1}$ posibilidades). A través de la multiplicación y la adición de los principios de conteo, la cardinalidad de $S_i$ es $\sum_{i=0}^{n-1}2^i3^{n-1-i}$.