Proof that the base b representation of a number evaluates to the number when you plug the base in.