Gamma Difference Equation

Theorem
The Gamma function satisfies:
 * $\map \Gamma {z + 1} = z \, \map \Gamma z$

for any $z$ which is not a nonpositive integer.