Gamma function of x boxplus one

Theorem

If $\mathbb{T}$ is a time scale and $s \in \mathbb{T}^+$, then for all $x \in \mathbb{R}^+$, $$\Gamma_{\mathbb{T}}\left(x \boxplus_{\mu} 1;s\right) = \dfrac{x}{s} \Gamma_{\mathbb{T}}(x;s),$$ where $\boxplus_{\mu}$ denotes forward box plus and $\Gamma_{\mathbb{T}}$ denotes the gamma function.