Theorem 1.6

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

Proof:

Let T be a set containing n+1 elements. Let aT 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 k1 elements of S, or contains k elements of S and does not contain a.

So there are (nk1) 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)=(nk1)+(nk)