Satz (Produktformel für faktorielle Potenzsummen):
Es seien
zwei faktorielle Potenzsummen. Dann gilt
Beweis: Diese Formel folgt relativ leicht aus der Produktformel für Potenzsummen; man muss nur noch mit n ! {\displaystyle n!} multiplizieren. ◻ {\displaystyle \Box }