Der Satz über die Teilmengenanzahl einer endlichen Menge.