Выдержка из книги
Лупанов О.Б.
Кибернетический сборник Выпуск27
Упорядоченный блок, полученный в результате слияния блоков Е и F, состоит из 2 [ нулей, следующих за ними еще k - i ( span ( D)) нулей и единиц в оставшихся разрядах. Поэтому в средних 2i разрядах блока, полученного в результате слияния блоков Е и F, ровно k - i ( span ( D)) нулей, что и требовалось доказать.