En el libro "Concrete Mathematics" de Knuth hay una identidad de coeficiente binomial
$\sum_{k} {a+b \choose a+k}{b+c \choose b+k}{c+a \choose c+k}(-1)^k=\frac{(a+b+c)!}{a!b!c!}$
pero no se aporta ninguna prueba. ¿Puede alguien al menos guiarme hacia una forma de probarlo?