Mientras respondía a una pregunta reciente me encontré con la siguiente identidad de aspecto agradable: <span class="math-container">$$ .sum_.k.1-n-1-frac-binom-k-1-1-n-k-1-1-n-binom-k-n-k-1-binom nk-1 $$</span> válido para todos los <span class="math-container">enteros %-%-%</span>.
¿Hay una simple prueba algebraica de esta identidad?
