Combinatorial identity