combinatorial proof

proofs in enumerative combinatorics based on bijections or double countings of combinatorial objects