Let and be positive integers with . Then
Proof:
Let be a set containing elements. Let and
There are subsets of containing elements.
A subset of with elements either contains together with elements of , or contains elements of and does not contain .
So there are subsets of with elements that contain , and subsets of with elements that do not contain
Therefore,