combinatorial proof
proofs in enumerative combinatorics based on bijections or double countings of combinatorial objects
double counting
technique for proving that two expressions are equal by showing that they both count the size of the same set
proofs in enumerative combinatorics based on bijections or double countings of combinatorial objects