We discussed representation of numbers in different bases. I proved Theorem 4.6: every natural number has a unique representation in base q, where q > 1. This gave an example of a proof using the method of descent.