Kombinatorische Tatsache (Definition) von Binomialkoeffizienten.
(n tief k) ist die Anzahl der k-elementigen Teilmengen einer Menge mit n Elementen.
Nun interpretierst du die Summen in eigenen Worten unter Verwendung des oberen Satzes.
Zudem kannst du in deinem Beweis die Mächtigkeit von Potenzmengen erwähnen.