Number to Power of One Falling is Itself

Theorem
Let $x \in \R$ be a real number.


 * $x^{\underline 1} = x$

where $x^{\underline 1}$ denotes the falling factorial.