Para probar esta fórmula, simplemente observamos que ambos lados cuentan el número de cadenas de bits de longitudn que contienenk+1 1's con el lado derecho primero particionándolos de acuerdo ...Para probar esta fórmula, simplemente observamos que ambos lados cuentan el número de cadenas de bits de longitudn que contienenk+1 1's con el lado derecho primero particionándolos de acuerdo a la última ocurrencia de un 1. (Por ejemplo, si el último 1 ocurre en posiciónk+5, entonces losk 1 restantes deben aparecer en lask+4 posiciones anteriores, dandoC(k+4,k) cadenas de este tipo).
