One to Integer Rising is Integer Factorial

Theorem
Let $n \in \Z_{\ge 0}$ be a positive integer.
 * $1^{\overline n} = n!$

where:
 * $1^{\overline n}$ denotes the rising factorial
 * $n!$ denotes the factorial.