Theorem 1.6

Let n and k be positive integers with n≥k. Then (n+1k)=(nk−1)+(nk)

Proof:

Let T be a set containing n+1 elements. Let a∈T and S=T ∖{a}
There are (n+1k) subsets of T containing k elements.

A subset of T with k elements either contains a together with k−1 elements of S, or contains k elements of S and does not contain a.

So there are (nk−1) subsets of T with k elements that contain a, and (nk) subsets of T with k elements that do not contain a
Therefore, (n+1k)=(nk−1)+(nk)