Zero Padded Basis Representation/Informal Proof

Informal Proof
The sequence $\sequence {r_j}_{0 \mathop \le j \mathop \le m - 1}$ is the basis representation from the Basis Representation Theorem padded with $0$ to the length of $m$.