Sum of Powers of Positive Integers

Theorem
Let $n, p \in \Z_{>0}$ be (strictly) positive integers.

Then:

where:
 * $B_k$ are the Bernoulli numbers
 * $p^{\underline k}$ is the $k$th falling factorial of $p$.