Sum of Indices of Falling Factorial

Theorem

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

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