Dies (■(n@k)) ist nicht lesbar.
Daher beweise ich (durch vollständige Induktion) den Satz:
Aus einer n-elementigen Menge können 2n verschiedene Teilmengen entnommen werden.
IAnf: Für n=1 gibt es { } und {a} also 2=21 Teilmengen
IBeh: Aus einer n-elementigen Menge können 2n verschiedene Teilmengen entnommen werden.
IBew: Wenn ein Element hizugenommen wird, bleiben alle schon gefundenen 2n Teilmegen in der Potenzmenge und außerdem alle um das neue Element ergänzten. Das sind 2·2n=2n+1 Teilmengen.