Ich habe im Beweis die n+1 - elementigen Teilmengen einer n+1-elementigen Menge auf 2 Arten gezählt.
Erst direkt als (n+1 tief k+1) und dann habe ich unterschieden, ob die k+1-elementigen Mengen das n+1-te Element (=das Element Nr. n+1) enthalten, oder nicht. Zum Schluss muss man diese beiden Fälle dann addieren.
Vielleicht hilft es, wenn du mit Zahlen arbeitest.
Menge A = {1,2,3,4,5}
(5 tief 3) = (4 tief 3) * 1 + (4 tief 2)*1
Links: 3 - elem. Mengen von A
Rechts: 3-elem. Mengen aus {1,2,3,4} + (2-elem. Mengen aus {1,2,3,4} mit 5)
5 ist hier die Nr. n+1.