En déduire que tout entier n ≥ 1 admet une et une seule décomposition en base 2. (Question II.2 du devoir.)
