Пусть есть разбиение числа n на различные слагаемые. Каждое чётное слагаемое вида 2^km, где m нечётно, разобьём дополнительно на 2^k слагаемых, равных m. Получим разбиение n на нечётные слагаемые. Исходное разбиение однозначно восстанавливается по полученному. Действительно, пусть в нём оказалось l слагаемых, равных m. Представим l в виде суммы  l = 2^k₁ + ... + 2^k_s  различных степеней двойки (как известно, это можно сделать единственным способом) и восстановим слагаемые  2^k₁m, ..., 2^k_sm  исходного разбиения.

Ответ задачи отсутствует