Definition. Let $m$ and $n$ be two natural numbers, and let $\gamma_m : \mathbb{N}_0 \rightarrow \mathbb{N}_0$ be the function from the set $\mathbb{N}_0$ into itself defined in Proposition [#nst-prop-power-recursion]. Set