Теорема о корректности запроса через перекрывающиеся блоки

Если операция идемпотентна, то два перекрывающихся блока длины 2^k, выбранные по k = floor(log2(length)), дают правильный ответ на статическом отрезке [left, right].