Der Satz über die Anzahl in der Potenzmenge zu einer endlichen Menge.