2D overlap-query correctness theorem

If the operation is idempotent, then four corner blocks of size 2^kr x 2^kc return the correct answer on a static half-open rectangle.