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 ndígitos cadenas de más de \{0,1,2\} que contienen al menos un 2.
Denotamos como S el conjunto de ndí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 ndí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+1st 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}.