Sum of Indices of Falling Factorial

Theorem

 * $x^{\underline {m + n} } = x^{\underline m} \paren {x - m}^{\underline n}$

where $x^{\underline m}$ denotes $x$ to the $m$ falling.