Изменения

|statement='''Лемма.''' <tex> a_i </tex> входит в сумму для <tex> f_k </tex>, если <tex> \exists j: k = i \vee \cdots(1 \cdots 1) j </tex> раз.|proof=Для доказательства леммы рассмотрим битовую запись следующих чисел: <tex> k - 2^{h(k) + 1} \leq i \leq k </tex>* <tex> k - 2^{h(k) + 1} \rightarrow \cdots (0 \cdots 0) </tex> <br/>* <tex> i \rightarrow \cdots (\cdots) </tex> <br/>* <tex> k \rightarrow \cdots (1 \cdots 1)</tex>