# Proof:The base b representation is unique

From CS2800 wiki

As usual, in order to justify calling the base b representation of "the" base b representation, we need to prove that it is unique. In fact, it is not necessarily unique if we allow leading 0's (for example, ), but if we rule them out, then we have the following fact:

The proof is left as an exercise. Use induction on and the fact that The quotient and remainder are unique.