1: \begin{proof}

2: First, we find the number of the first tier where the $(pm+j)$-th element appears: $l = \log_p{m}$. This $l$-th tier consists of $p$ blocks, each having $p^l$ elements, and each block represents an element from tier $l-1$. The element  $\hat{S}_{pm+j}$ belongs to the $m$-th block of tier $l$, which is the expansion of the $m$-th element in  tier $l-1$. Hence,  

3: $\hat{S}_{pm+j}$ is the $j$-th element in the substitution of $\hat{S}_m$.

4: 

5: Note that all the substitutions are listed in tier $1$, which consists of the elements from $\hat{S}_0$ to $\hat{S}_{p^2-1}$.

6: Rigorously, the substitution of $q$ if represented with the items from $\hat{S}_{p + p(p-2-q)}$ to $\hat{S}_{p + p(p-2-q) + p-1}$. If we desire the $j$-th element of this substitution (counting from 0), it is $\hat{S}_{p + p(p-2-q) + j}$. 

7: 

8: Using this result and simplifying the index, we show that the $j$-th element in the substitution of $\hat{S}_m$ is $\hat{S}_{p(p-1-S_m) + j}$. 

9: \end{proof}

10: