Изменения
bugfix
|statement= <tex> a_i </tex> входит в сумму для <tex> t_k </tex>, если <tex> \exists j: k = i | (2^j - 1) </tex>.
}}
Для доказательства леммы рассмотрим битовую запись следующих чисел: <tex> k - 2^{h(k) } + 1} \leq i \leq k </tex>
{| border="1"
|<tex>k - 2^{h(k) } + 1}</tex>
|<tex>\cdots (0 \cdots 0)</tex>
|-
