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

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