Пусть это количество способов разбить натуральное число на сумму степеней двойки, при этом порядок не имеет значение. Например , так как .
Докажите, что для любого натурального верно тождество
P(1) + (-1)^{a_n} = 0,$$ где $a_k$ — количество единиц в двоичной записи числа $k$.