kD overlap-query correctness theorem

If the operation is idempotent, then 2^d corner hyperblocks chosen by the level vector return the correct answer on a static half-open hyperrectangle.