Use the method of proof for Property 4 to show that every positive integer can be expressed uniquely as a sum of powers of 2 with each power appearing at most once (i.e. there is a unique representation in base 2).

PROPERTY to be used The number of partitions of n into odd parts equals the number of partitions of n into distinct parts. i.e. p^o(n) = q(n).: