Theorem: If $n \in \{0,1,2,\ldots\}$, then $$\Gamma(n+1)=n!,$$ where $n!$ denotes the factorial of $n$.
Proof: █
