La secuencia infinita $a_0, a _1, a_2, \dots$ de enteros (no necesariamente distintos) tiene las siguientes propiedades: $0\le a_i \le i$ para todos los enteros $i\ge 0$ , y\n\[\binom{k}{a_0} + \binom{k}{a_1} + \dots + \binom{k}{a_k} = 2^k\] para todos los enteros $k\ge 0$ . Demuestre que todos los enteros $N\ge 0$ ocurren en la secuencia (es decir, para todo $N\ge 0$ , existe $i\ge 0$ con $a_i=N$ ).