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$th falling factorial power of $x$
 * $x^{\overline n}$ is the $n$th rising factorial power of $x$.