Изменения

Пусть был сгенерирован вектор <tex>a_1 \cdots a_{n - 1} 0</tex>. Ему предествовал некоторый вектор <tex>b_1 a_1 \cdots a_{n - 1}</tex>. Так как алгоритм сначала пытается поместить в код вектор <tex>a_1 \cdots a_{n - 1} 1</tex>, то на этом шаге вектор <tex>a_1 \cdots a_{n - 1} 1</tex> уже присутсовал в коде. Предыдущее рассуждение показывает, что всякий вектор вида <tex>a_1 \cdots a_{n - 1} 0</tex> был добавлен в код, а значит, и вектор вида <tex>a_1 \cdots a_{n - 1} 1 </tex> также был добавлен в код. Таким образом, все двоичные вектора присутсвуют в сгенерированном коде.