Exercise 19. Prove that every positive integer is either a power of 2, or can be written as the sum of distinct powers of 2. Solution.