Existence and uniqueness of the expansion

Open answer

Deduce that every integer n ≥ 1 admits one and only one base-2 expansion. (Question II.2 of the assignment.)