Number to Power of One Rising is Itself

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


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

where $x^{\overline 1}$ denotes the rising factorial.