#binomial coefficient #factorial #enumeration #counting principles #combinatorial identities