Factorial as Sum of Series of Subfactorial by Falling Factorial over Factorial

Theorem
Here, we have:
 * $n^{\underline k}$ denotes the $k$th falling factorial of $n$
 * $!k$ denotes the $k$th subfactorial.