(kn) ist die Anzahl der k-elementigen Teilmengen einer n-elementigen Menge.
Für k∈/{0,…,n} gibt es keine k-elementige Teilmenge einer n-elementigen Menge . Also ist k=0∑n(kn) die Anzahl der Teilmengen einer n-elementigen Menge.
Die Anzahl der Teilmengen einer n-elementigen Menge ist auch 2n.
Also ist k=0∑n(kn)=2n.