Теорема о корректности kD overlap-query

Если операция идемпотентна, то 2^d угловых гиперблоков, выбранных по level-вектору, дают правильный ответ на статическом half-open гиперпрямоугольнике.