Теперь осталось доказать, что любая степень двойки (с нечётным натуральным показателем, превышающим единичку) представима в виде суммы попарно различных членов исходной последовательности. Но это трудновато.
Это не столько трудно, сколько долго.
Суммы, которые можно получить из попарно различных чисел множества {2, 6, 12, 20, 30, 42, 56, 72} содержат все чётные числа от 68 до 172 включительно.
Длина этого промежутка больше 90, поэтому если добавить к этому множеству 90, то суммами будут получаться все чётные числа от 68 до 262 включительно.
Если добавить ещё 110, то суммами будут получаться все чётные числа от 68 до 372 включительно.
И т.д.
Таким образом любое чётное число, большее 66, является суммой нескольких (попарно различных) чисел исходной последовательности.