I am having trouble proving this identity:
It gives a hint that you should try to interpret each of the summands.
I can't seem to use induction because there are factorials involved. And the summands don't have items that cancel out. It does seem related to a hypergeometric distribution however.