Rising Factorial in terms of Falling Factorial

Theorem

 * $x^{\overline n} = \left({x + n - 1}\right)^{\underline n}$

where:
 * $x^{\underline n}$ is the $n$ to the $x$ falling
 * $x^{\overline n}$ is the $n$ to the $x$ rising.